List of all items

Structs

• linter::EarlyLintVisitor
• linter::LateLintVisitor
• linter::LintContext
• linter::LinterConfig
• linter::ProjectLintEmitter
• linter::ProjectSource
• linter::Suggestion
• linter::early::EarlyLintVisitor
• linter::late::LateLintVisitor
• linter::project::ProjectLintEmitter
• linter::project::ProjectSource
• sol::SolLint
• sol::SolidityLinter
• sol::analysis::helper_cache::HelperAnalysisCache
• sol::codesize::UnwrappedModifierLogic
• sol::gas::AsmKeccak256
• sol::gas::CacheArrayLength
• sol::gas::CostlyLoop
• sol::gas::CustomErrors
• sol::gas::ExternalFunction
• sol::gas::UnchangedStateVariables
• sol::gas::UnusedStateVariables
• sol::gas::VarReadUsingThis
• sol::gas::WriteAfterWrite
• sol::gas::cache_array_length::LengthRead
• sol::gas::cache_array_length::LoopFacts
• sol::gas::external_function::IndexBuilder
• sol::gas::external_function::ParamEscapeFinder
• sol::gas::external_function::ProjectIndex
• sol::gas::keccak::AsmContext
• sol::gas::unused_state_variables::UsedVarCollector
• sol::gas::var_read_using_this::MatchedCall
• sol::high::ArbitrarySendErc20
• sol::high::ArbitrarySendEth
• sol::high::ControlledDelegatecall
• sol::high::EncodedPackedCollision
• sol::high::IncorrectShift
• sol::high::ReentrancyEth
• sol::high::Rtlo
• sol::high::UncheckedCall
• sol::high::UncheckedTransferERC20
• sol::high::UnprotectedInitializer
• sol::high::arbitrary_send_erc20::Analyzer
• sol::high::arbitrary_send_erc20::AssignRhs
• sol::high::arbitrary_send_erc20::FlowState
• sol::high::arbitrary_send_erc20::InternalCallsiteCollector
• sol::high::arbitrary_send_erc20::NestedCallCollector
• sol::high::arbitrary_send_erc20::ParamCallsiteFacts
• sol::high::arbitrary_send_erc20::PendingRepayment
• sol::high::arbitrary_send_erc20::PermitRecord
• sol::high::arbitrary_send_erc20::ProjectIndex
• sol::high::arbitrary_send_erc20::StateWriteCollector
• sol::high::arbitrary_send_eth::Analyzer
• sol::high::arbitrary_send_eth::AssignedParamCollector
• sol::high::arbitrary_send_eth::FlowState
• sol::high::arbitrary_send_eth::SelfAliasAnalysis
• sol::high::arbitrary_send_eth::SelfAssignScan
• sol::high::controlled_delegatecall::Analyzer
• sol::high::controlled_delegatecall::AssignedParamCollector
• sol::high::controlled_delegatecall::FlowState
• sol::high::reentrancy::Analyzer
• sol::high::reentrancy::FlowState
• sol::high::reentrancy::InlineCallKey
• sol::high::reentrancy::PendingCall
• sol::high::reentrancy::RecursiveFrontierKey
• sol::high::unchecked_calls::UncheckedCallChecker
• sol::high::unprotected_initializer::CallNameFinder
• sol::high::unprotected_initializer::DestructiveSinkFinder
• sol::high::unprotected_initializer::StateWriteAnalyzer
• sol::info::BooleanCst
• sol::info::BooleanEqual
• sol::info::EventFields
• sol::info::Imports
• sol::info::InlineAssembly
• sol::info::InterfaceFileNaming
• sol::info::LowLevelCalls
• sol::info::MissingInheritance
• sol::info::MixedCaseFunction
• sol::info::MixedCaseVariable
• sol::info::MultiContractFile
• sol::info::NamedStructFields
• sol::info::PascalCaseStruct
• sol::info::PragmaDirective
• sol::info::RedundantBaseConstructorCall
• sol::info::ScreamingSnakeCase
• sol::info::TooManyDigits
• sol::info::UnsafeCheatcodes
• sol::info::imports::UnusedChecker
• sol::info::low_level_calls::LowLevelCallsChecker
• sol::low::BlockTimestamp
• sol::low::CallsLoop
• sol::low::DelegatecallLoop
• sol::low::MissingEventsAccessControl
• sol::low::MissingEventsArithmetic
• sol::low::MissingZeroCheck
• sol::low::MsgValueLoop
• sol::low::ReentrancyEvents
• sol::low::ReturnBomb
• sol::low::calls_loop::Analyzer
• sol::low::missing_events_access_control::AnalyzerState
• sol::low::missing_events_access_control::StateWrite
• sol::low::missing_events_access_control::WriteAnalyzer
• sol::low::missing_events_access_control::WriteSources
• sol::low::missing_events_arithmetic::ArithmeticUseAnalyzer
• sol::low::missing_events_arithmetic::StateWrite
• sol::low::missing_events_arithmetic::WriteAnalyzer
• sol::low::missing_events_arithmetic::WriteFlow
• sol::low::missing_events_arithmetic::WriteState
• sol::low::missing_zero_check::Analyzer
• sol::low::payable_loop::PayableLoopChecker
• sol::low::reentrancy_events::Analyzer
• sol::low::reentrancy_events::Exits
• sol::low::reentrancy_events::FlowState
• sol::low::reentrancy_events::InlineCallKey
• sol::med::AssertStateChange
• sol::med::DivideBeforeMultiply
• sol::med::IncorrectERC20Interface
• sol::med::IncorrectERC721Interface
• sol::med::IncorrectStrictEquality
• sol::med::LockedEther
• sol::med::TxOrigin
• sol::med::TypeBasedTautology
• sol::med::UninitializedLocal
• sol::med::UninitializedStateVariables
• sol::med::UnsafeTypecast
• sol::med::UnusedReturn
• sol::med::WeakPrng
• sol::med::locked_ether::SendChecker
• sol::med::uninitialized_local::Checker
• sol::med::uninitialized_state_variables::ReadVarCollector
• sol::med::weak_prng::WeakPrngChecker

Enums

• linter::SuggestionKind
• sol::SolLintError
• sol::gas::write_after_write::Flow
• sol::high::arbitrary_send_erc20::TokenKey
• sol::high::reentrancy::ReentrantCallKind
• sol::info::boolean_cst::ExprContext
• sol::info::boolean_equal::BoolComparison
• sol::low::missing_events_arithmetic::AccessCheckPolarity

Traits

• linter::EarlyLintPass
• linter::LateLintPass
• linter::Lint
• linter::Linter
• linter::ProjectLintPass
• linter::early::EarlyLintPass
• linter::late::LateLintPass
• linter::project::ProjectLintPass

Macros

• declare_forge_lint
• register_lints

Functions

• linter::hyperlink
• sol::analysis::interface::is_elementary
• sol::analysis::interface::receiver_contract_id
• sol::analysis::primitives::address_call_receiver
• sol::analysis::primitives::branch_always_exits
• sol::analysis::primitives::is_address_type
• sol::analysis::primitives::is_builtin
• sol::analysis::primitives::is_exit_call
• sol::analysis::primitives::is_require_or_assert
• sol::calls::call_with_options
• sol::calls::is_call_with_gas_limit
• sol::calls::is_low_level_call
• sol::codesize::create_early_lint_passes
• sol::codesize::create_late_lint_passes
• sol::codesize::create_project_lint_passes
• sol::gas::cache_array_length::array_length_mutated
• sol::gas::cache_array_length::call_is_safe_to_cache
• sol::gas::cache_array_length::call_may_mutate_state
• sol::gas::cache_array_length::collect_condition_length_reads
• sol::gas::cache_array_length::collect_expr_facts
• sol::gas::cache_array_length::collect_state_array_length_read
• sol::gas::cache_array_length::collect_stmt_facts
• sol::gas::cache_array_length::collect_written_vars
• sol::gas::cache_array_length::expr_is_loop_invariant
• sol::gas::cache_array_length::for_loop_parts
• sol::gas::cache_array_length::is_array_like
• sol::gas::cache_array_length::is_comparison
• sol::gas::cache_array_length::is_state_array
• sol::gas::cache_array_length::variable_resolution
• sol::gas::costly_loop::check_block
• sol::gas::costly_loop::check_expr_for_writes
• sol::gas::costly_loop::check_stmt
• sol::gas::costly_loop::lvalue_is_state_var
• sol::gas::create_early_lint_passes
• sol::gas::create_late_lint_passes
• sol::gas::create_project_lint_passes
• sol::gas::custom_errors::is_require_call
• sol::gas::custom_errors::is_revert_call
• sol::gas::custom_errors::is_string_literal
• sol::gas::custom_errors::should_lint_require
• sol::gas::custom_errors::should_lint_revert
• sol::gas::external_function::any_override_referenced
• sol::gas::external_function::body_escapes_params
• sol::gas::external_function::build_project_index
• sol::gas::external_function::expr_root_is_param
• sol::gas::external_function::is_type_conversion_callee
• sol::gas::external_function::lhs_is_local_memory_reference
• sol::gas::external_function::modifier_args_reference_params
• sol::gas::external_function::project_index_for
• sol::gas::external_function::super_called_from_derivative
• sol::gas::immutable::block_contains_assembly_or_unknown_stmt
• sol::gas::immutable::collect_expr_writes
• sol::gas::immutable::collect_lvalue_writes
• sol::gas::immutable::collect_modifier_writes
• sol::gas::immutable::collect_state_writes
• sol::gas::immutable::collect_stmt_writes
• sol::gas::immutable::contract_contains_assembly_or_unknown_stmt
• sol::gas::immutable::is_allowed_constant_call
• sol::gas::immutable::is_compile_time_constant
• sol::gas::immutable::is_constant_candidate_type
• sol::gas::immutable::is_immutable_candidate_type
• sol::gas::immutable::is_most_derived_contract
• sol::gas::immutable::stmt_contains_assembly_or_unknown_stmt
• sol::gas::keccak::extract_keccak256_arg
• sol::gas::var_read_using_this::build_suggestion
• sol::gas::var_read_using_this::emit
• sol::gas::var_read_using_this::match_this_call
• sol::gas::var_read_using_this::walk_block
• sol::gas::var_read_using_this::walk_expr
• sol::gas::var_read_using_this::walk_stmt
• sol::gas::write_after_write::check_block
• sol::gas::write_after_write::check_stmt
• sol::gas::write_after_write::collect_reads
• sol::gas::write_after_write::process_assignment_lhs
• sol::gas::write_after_write::process_expr
• sol::gas::write_after_write::simple_state_var_id
• sol::gas::write_after_write::walk_named_args
• sol::high::arbitrary_send_erc20::body_has_break_or_continue
• sol::high::arbitrary_send_erc20::branch_always_exits
• sol::high::arbitrary_send_erc20::build_project_index
• sol::high::arbitrary_send_erc20::canonical_args
• sol::high::arbitrary_send_erc20::collect_modifier_safety
• sol::high::arbitrary_send_erc20::collect_state_writes
• sol::high::arbitrary_send_erc20::contains_unanalysable
• sol::high::arbitrary_send_erc20::contract_has_function
• sol::high::arbitrary_send_erc20::count_placeholders
• sol::high::arbitrary_send_erc20::direct_contract_id
• sol::high::arbitrary_send_erc20::do_while_user_stmts
• sol::high::arbitrary_send_erc20::expr_contract_id
• sol::high::arbitrary_send_erc20::expr_is_address
• sol::high::arbitrary_send_erc20::expr_ty
• sol::high::arbitrary_send_erc20::has_solady_safe_transfer_lib
• sol::high::arbitrary_send_erc20::internal_call_args
• sol::high::arbitrary_send_erc20::is_address
• sol::high::arbitrary_send_erc20::is_address_cast
• sol::high::arbitrary_send_erc20::is_address_self
• sol::high::arbitrary_send_erc20::is_amount_plus_fee
• sol::high::arbitrary_send_erc20::is_break_stmt
• sol::high::arbitrary_send_erc20::is_builtin
• sol::high::arbitrary_send_erc20::is_cast_callee
• sol::high::arbitrary_send_erc20::is_elementary
• sol::high::arbitrary_send_erc20::is_exit_call
• sol::high::arbitrary_send_erc20::is_internal_callsite_seed_candidate
• sol::high::arbitrary_send_erc20::is_loop_termination_if
• sol::high::arbitrary_send_erc20::is_require_or_assert
• sol::high::arbitrary_send_erc20::library_has_safe_transfer_from
• sol::high::arbitrary_send_erc20::match_flash_loan_call
• sol::high::arbitrary_send_erc20::match_sink
• sol::high::arbitrary_send_erc20::modifier_prefix_always_exits
• sol::high::arbitrary_send_erc20::project_index_for
• sol::high::arbitrary_send_erc20::receiver_contract_id
• sol::high::arbitrary_send_erc20::resolve_internal_fn
• sol::high::arbitrary_send_erc20::seed_immutable_facts
• sol::high::arbitrary_send_erc20::seed_internal_callsite_facts
• sol::high::arbitrary_send_erc20::token_key
• sol::high::arbitrary_send_erc20::ty_contract_id
• sol::high::arbitrary_send_erc20::ty_is_address
• sol::high::arbitrary_send_erc20::underlying_var
• sol::high::arbitrary_send_eth::arg
• sol::high::arbitrary_send_eth::arg_for_param
• sol::high::arbitrary_send_eth::branch_always_exits
• sol::high::arbitrary_send_eth::callee_no_arg_returns
• sol::high::arbitrary_send_eth::collect_modifier_safety
• sol::high::arbitrary_send_eth::collect_stmts_before_placeholder
• sol::high::arbitrary_send_eth::cond_restricts_caller
• sol::high::arbitrary_send_eth::count_placeholders
• sol::high::arbitrary_send_eth::count_placeholders_in_stmt
• sol::high::arbitrary_send_eth::do_while_user_stmts
• sol::high::arbitrary_send_eth::expr_is_array_or_bytes
• sol::high::arbitrary_send_eth::expr_is_function
• sol::high::arbitrary_send_eth::expr_restricts_caller
• sol::high::arbitrary_send_eth::expr_touches_param
• sol::high::arbitrary_send_eth::expr_ty
• sol::high::arbitrary_send_eth::find_in_bases_or_self
• sol::high::arbitrary_send_eth::function_no_arg_returns
• sol::high::arbitrary_send_eth::function_returns_param
• sol::high::arbitrary_send_eth::identity_helper_arg
• sol::high::arbitrary_send_eth::index_is_static
• sol::high::arbitrary_send_eth::invoked_function
• sol::high::arbitrary_send_eth::is_address_like_cast_callee
• sol::high::arbitrary_send_eth::is_address_self
• sol::high::arbitrary_send_eth::is_break_stmt
• sol::high::arbitrary_send_eth::is_builtin
• sol::high::arbitrary_send_eth::is_caller_like
• sol::high::arbitrary_send_eth::is_exit_call
• sol::high::arbitrary_send_eth::is_literal_zero
• sol::high::arbitrary_send_eth::is_msg_sender_like
• sol::high::arbitrary_send_eth::is_numeric_cast_callee
• sol::high::arbitrary_send_eth::is_require_or_assert
• sol::high::arbitrary_send_eth::is_trusted_principal_inner
• sol::high::arbitrary_send_eth::is_tx_origin_like
• sol::high::arbitrary_send_eth::lhs_root_var
• sol::high::arbitrary_send_eth::match_eth_library_call
• sol::high::arbitrary_send_eth::match_sink
• sol::high::arbitrary_send_eth::modifier_function_restricts_caller
• sol::high::arbitrary_send_eth::modifier_prefix
• sol::high::arbitrary_send_eth::modifier_restricts_caller
• sol::high::arbitrary_send_eth::receiver_is_address
• sol::high::arbitrary_send_eth::stmt_contains_return
• sol::high::arbitrary_send_eth::stmt_has_break_or_continue
• sol::high::arbitrary_send_eth::stmt_restricts_caller
• sol::high::arbitrary_send_eth::tuple_elems
• sol::high::arbitrary_send_eth::tuple_slot
• sol::high::arbitrary_send_eth::ty_is_address
• sol::high::arbitrary_send_eth::underlying_var
• sol::high::arbitrary_send_eth::var_is_address_like
• sol::high::controlled_delegatecall::arg_for_param
• sol::high::controlled_delegatecall::branch_always_exits
• sol::high::controlled_delegatecall::callee_no_arg_returns
• sol::high::controlled_delegatecall::collect_modifier_safety
• sol::high::controlled_delegatecall::collect_stmts_before_placeholder
• sol::high::controlled_delegatecall::count_placeholders
• sol::high::controlled_delegatecall::count_placeholders_in_stmt
• sol::high::controlled_delegatecall::do_while_lowered_condition
• sol::high::controlled_delegatecall::do_while_user_stmts
• sol::high::controlled_delegatecall::expr_has_fact_side_effect
• sol::high::controlled_delegatecall::function_is_statically_trusted
• sol::high::controlled_delegatecall::function_no_arg_returns
• sol::high::controlled_delegatecall::is_address_like_cast_callee
• sol::high::controlled_delegatecall::is_break_stmt
• sol::high::controlled_delegatecall::is_builtin
• sol::high::controlled_delegatecall::is_exit_call
• sol::high::controlled_delegatecall::is_numeric_cast_callee
• sol::high::controlled_delegatecall::is_require_or_assert
• sol::high::controlled_delegatecall::modifier_prefix
• sol::high::controlled_delegatecall::receiver_is_address
• sol::high::controlled_delegatecall::stmt_has_break_or_continue
• sol::high::controlled_delegatecall::tuple_elems
• sol::high::controlled_delegatecall::tuple_slot
• sol::high::controlled_delegatecall::ty_is_address
• sol::high::controlled_delegatecall::underlying_var
• sol::high::controlled_delegatecall::var_is_address_like
• sol::high::create_early_lint_passes
• sol::high::create_late_lint_passes
• sol::high::create_project_lint_passes
• sol::high::encode_packed_collision::is_abi_builtin
• sol::high::encode_packed_collision::is_abi_encode_method
• sol::high::encode_packed_collision::is_builtin_named
• sol::high::encode_packed_collision::is_dynamic_arg
• sol::high::encode_packed_collision::is_dynamic_builtin_member
• sol::high::encode_packed_collision::is_dynamic_call
• sol::high::encode_packed_collision::is_dynamic_hir_type
• sol::high::encode_packed_collision::ty_is_dynamic_bytes_string_or_array
• sol::high::incorrect_shift::check_yul_block
• sol::high::incorrect_shift::check_yul_expr
• sol::high::incorrect_shift::check_yul_stmt
• sol::high::reentrancy::arg_matches_type
• sol::high::reentrancy::args_match_function
• sol::high::reentrancy::args_match_types
• sol::high::reentrancy::base_contract
• sol::high::reentrancy::base_item_source
• sol::high::reentrancy::binary_op_returns_bool
• sol::high::reentrancy::call_sends_eth
• sol::high::reentrancy::collect_state_write_lhs_vars
• sol::high::reentrancy::common_ty
• sol::high::reentrancy::constant_var_is_zero
• sol::high::reentrancy::explicit_cast_ty
• sol::high::reentrancy::expr_ty
• sol::high::reentrancy::external_function_pointer_can_reenter
• sol::high::reentrancy::external_member_call_can_reenter
• sol::high::reentrancy::fn_call_return_type
• sol::high::reentrancy::gas_option_forwards_all
• sol::high::reentrancy::index_ty
• sol::high::reentrancy::indexed_base_data_location
• sol::high::reentrancy::is_address_like
• sol::high::reentrancy::is_address_type_expr
• sol::high::reentrancy::is_entry_point
• sol::high::reentrancy::is_externally_callable
• sol::high::reentrancy::is_externally_callable_fn_kind
• sol::high::reentrancy::is_no_eth_reentrant_call
• sol::high::reentrancy::is_super
• sol::high::reentrancy::is_this
• sol::high::reentrancy::is_uncapped_value_call
• sol::high::reentrancy::is_zero_value
• sol::high::reentrancy::is_zero_value_inner
• sol::high::reentrancy::member_ty
• sol::high::reentrancy::push_unique
• sol::high::reentrancy::referenced_item
• sol::high::reentrancy::resolved_function_ids
• sol::high::reentrancy::state_write_lhs_vars
• sol::high::reentrancy::type_is_address_like
• sol::high::reentrancy::unique
• sol::high::reentrancy::variable_data_location
• sol::high::rtlo::bidi_char_name
• sol::high::unchecked_calls::is_erc20_transfer_call
• sol::high::unchecked_calls::is_unchecked_tuple_assignment
• sol::high::unprotected_initializer::effective_runtime_dispatch_surface
• sol::high::unprotected_initializer::expr_references_storage
• sol::high::unprotected_initializer::function_calls_named
• sol::high::unprotected_initializer::has_destructive_entrypoint
• sol::high::unprotected_initializer::has_initializer_modifier
• sol::high::unprotected_initializer::has_modifier_named
• sol::high::unprotected_initializer::initializers_disabled_in_constructor
• sol::high::unprotected_initializer::is_destructive_call
• sol::high::unprotected_initializer::is_public_initializer
• sol::high::unprotected_initializer::lhs_writes_state
• sol::high::unprotected_initializer::member_call_writes_state
• sol::high::unprotected_initializer::modifier_name_is
• sol::high::unprotected_initializer::parameter_signature
• sol::high::unprotected_initializer::resolved_internal_function_ids
• sol::high::unprotected_initializer::variable_references_storage
• sol::info::boolean_cst::bool_literal
• sol::info::boolean_cst::check_allowed_bare_expr
• sol::info::boolean_cst::check_binary_expr
• sol::info::boolean_cst::check_expr
• sol::info::boolean_equal::bool_comparison_suggestion
• sol::info::boolean_equal::bool_literal
• sol::info::boolean_equal::can_negate_without_parens
• sol::info::boolean_equal::simplify_expr
• sol::info::create_early_lint_passes
• sol::info::create_late_lint_passes
• sol::info::create_project_lint_passes
• sol::info::event_fields::check_event
• sol::info::event_fields::describe_param
• sol::info::event_fields::is_filterable_field
• sol::info::event_fields::type_str
• sol::info::inline_assembly::assembly_keyword_span
• sol::info::inline_assembly::has_memory_safe_natspec
• sol::info::interface_naming::file_name
• sol::info::missing_inheritance::is_signature_only
• sol::info::missing_inheritance::sort_key
• sol::info::mixed_case::check_mixed_case
• sol::info::mixed_case::is_constant_getter
• sol::info::pragma_directive::solidity_pragmas
• sol::info::redundant_base_constructor_call::expand_to_leading_ws
• sol::info::redundant_base_constructor_call::try_emit
• sol::info::too_many_digits::check_lit
• sol::info::too_many_digits::check_yul_block
• sol::info::too_many_digits::check_yul_expr
• sol::info::too_many_digits::check_yul_stmt
• sol::info::too_many_digits::is_hex_address
• sol::info::too_many_digits::is_hex_literal
• sol::low::block_timestamp::block_directly_returns_timestamp
• sol::low::block_timestamp::check_block
• sol::low::block_timestamp::check_expr
• sol::low::block_timestamp::check_stmt
• sol::low::block_timestamp::expr_contains_direct_block_timestamp
• sol::low::block_timestamp::expr_contains_timestamp_source
• sol::low::block_timestamp::expr_value_is_timestamp_source
• sol::low::block_timestamp::helper_function_ids
• sol::low::block_timestamp::is_block_timestamp
• sol::low::block_timestamp::is_cmp
• sol::low::block_timestamp::is_revert_call
• sol::low::block_timestamp::is_timestamp_helper_call
• sol::low::block_timestamp::stmt_directly_returns_timestamp
• sol::low::block_timestamp::timestamp_helpers
• sol::low::block_timestamp::update_alias
• sol::low::block_timestamp::update_assignment_aliases
• sol::low::block_timestamp::update_lhs_aliases
• sol::low::block_timestamp::update_multi_aliases
• sol::low::calls_loop::base_contract
• sol::low::calls_loop::base_item_source
• sol::low::calls_loop::external_member_signatures
• sol::low::calls_loop::function_signature_from_ty_fn
• sol::low::calls_loop::indexed_base_data_location
• sol::low::calls_loop::is_address_like
• sol::low::calls_loop::is_address_type_expr
• sol::low::calls_loop::is_external_call
• sol::low::calls_loop::is_internal_callable
• sol::low::calls_loop::is_state_mutating_external_call
• sol::low::calls_loop::is_super
• sol::low::calls_loop::is_this
• sol::low::calls_loop::is_typeless_builtin
• sol::low::calls_loop::is_typeless_builtin_expr
• sol::low::calls_loop::member_function_ids
• sol::low::calls_loop::referenced_item
• sol::low::calls_loop::resolved_internal_function_ids
• sol::low::calls_loop::resolved_super_function_ids
• sol::low::calls_loop::resolves_to_internal_library_extension
• sol::low::calls_loop::self_call_is_state_mutating
• sol::low::calls_loop::semantic_expr_ty
• sol::low::calls_loop::semantic_fn_call_return_ty
• sol::low::calls_loop::semantic_index_ty
• sol::low::calls_loop::semantic_member_ty
• sol::low::calls_loop::type_is_address_like
• sol::low::calls_loop::unique
• sol::low::calls_loop::variable_data_location
• sol::low::create_early_lint_passes
• sol::low::create_late_lint_passes
• sol::low::create_project_lint_passes
• sol::low::delegatecall_loop::is_delegatecall
• sol::low::missing_events_access_control::access_control_state_vars
• sol::low::missing_events_access_control::called_function_ids
• sol::low::missing_events_access_control::collect_access_check_state_vars
• sol::low::missing_events_access_control::collect_access_control_state_vars_in_expr
• sol::low::missing_events_access_control::collect_access_control_state_vars_in_function
• sol::low::missing_events_access_control::collect_access_control_state_vars_in_stmt
• sol::low::missing_events_access_control::collect_called_function_ids
• sol::low::missing_events_access_control::collect_lhs_index_sources
• sol::low::missing_events_access_control::collect_lhs_index_sources_into
• sol::low::missing_events_access_control::collect_state_lhs_vars
• sol::low::missing_events_access_control::collect_state_vars_read_in_expr
• sol::low::missing_events_access_control::collect_state_vars_read_in_function
• sol::low::missing_events_access_control::collect_state_vars_read_in_stmt
• sol::low::missing_events_access_control::collect_value_sources
• sol::low::missing_events_access_control::collect_value_sources_into
• sol::low::missing_events_access_control::emitted_event_id
• sol::low::missing_events_access_control::entry_point_access_guard_vars
• sol::low::missing_events_access_control::event_mentions_state_var
• sol::low::missing_events_access_control::expr_has_access_guard
• sol::low::missing_events_access_control::expr_is_zero_value
• sol::low::missing_events_access_control::expr_looks_like_access_check
• sol::low::missing_events_access_control::expr_reads_sender
• sol::low::missing_events_access_control::expr_reads_state_variable_transitively
• sol::low::missing_events_access_control::function_has_access_guard
• sol::low::missing_events_access_control::function_reads_sender
• sol::low::missing_events_access_control::is_external_function
• sol::low::missing_events_access_control::is_protected
• sol::low::missing_events_access_control::is_protected_entry_point
• sol::low::missing_events_access_control::is_sender_member
• sol::low::missing_events_access_control::is_state_mutating_entry_point
• sol::low::missing_events_access_control::lhs_local_var
• sol::low::missing_events_access_control::merge_alias_maps
• sol::low::missing_events_access_control::merge_source_maps
• sol::low::missing_events_access_control::modifier_has_access_control
• sol::low::missing_events_access_control::name_contains_event_keyword
• sol::low::missing_events_access_control::name_looks_like_access_control
• sol::low::missing_events_access_control::normalize_event_name_part
• sol::low::missing_events_access_control::resolved_event_id
• sol::low::missing_events_access_control::resolved_function_ids
• sol::low::missing_events_access_control::state_lhs_vars
• sol::low::missing_events_access_control::state_var_event_keywords
• sol::low::missing_events_access_control::stmt_exits_or_reverts
• sol::low::missing_events_access_control::stmt_has_access_guard
• sol::low::missing_events_access_control::stmt_reads_sender
• sol::low::missing_events_access_control::update_sender_alias_from_decl
• sol::low::missing_events_access_control::update_sender_aliases_from_assignment
• sol::low::missing_events_arithmetic::collect_state_lhs_vars
• sol::low::missing_events_arithmetic::collect_state_sources
• sol::low::missing_events_arithmetic::collect_state_sources_into
• sol::low::missing_events_arithmetic::collect_write_taint_sources
• sol::low::missing_events_arithmetic::collect_write_taint_sources_into
• sol::low::missing_events_arithmetic::expr_access_check_polarity
• sol::low::missing_events_arithmetic::expr_calls_non_sender_user_function
• sol::low::missing_events_arithmetic::expr_compares_sender_to_authority
• sol::low::missing_events_arithmetic::expr_has_access_guard
• sol::low::missing_events_arithmetic::expr_has_dynamic_value
• sol::low::missing_events_arithmetic::expr_is_authorized_access_check
• sol::low::missing_events_arithmetic::expr_is_unauthorized_access_check
• sol::low::missing_events_arithmetic::expr_looks_like_access_check
• sol::low::missing_events_arithmetic::expr_reads_sender
• sol::low::missing_events_arithmetic::expr_reads_state_variable
• sol::low::missing_events_arithmetic::function_has_access_guard
• sol::low::missing_events_arithmetic::function_reads_sender
• sol::low::missing_events_arithmetic::is_arithmetic_op
• sol::low::missing_events_arithmetic::is_candidate_state_var
• sol::low::missing_events_arithmetic::is_dynamic_builtin_member
• sol::low::missing_events_arithmetic::is_external_function
• sol::low::missing_events_arithmetic::is_inc_dec_op
• sol::low::missing_events_arithmetic::is_protected
• sol::low::missing_events_arithmetic::is_sender_member
• sol::low::missing_events_arithmetic::lhs_local_var
• sol::low::missing_events_arithmetic::merge_taint
• sol::low::missing_events_arithmetic::merge_write_states
• sol::low::missing_events_arithmetic::modifier_has_access_control
• sol::low::missing_events_arithmetic::name_looks_like_access_control
• sol::low::missing_events_arithmetic::name_looks_like_sender_accessor
• sol::low::missing_events_arithmetic::resolved_function_ids
• sol::low::missing_events_arithmetic::set_taint_entry
• sol::low::missing_events_arithmetic::state_lhs_vars
• sol::low::missing_events_arithmetic::stmt_is_access_guard
• sol::low::missing_events_arithmetic::stmt_reads_sender
• sol::low::missing_events_arithmetic::vars_used_in_unprotected_arithmetic
• sol::low::missing_zero_check::collect_modifier_guards
• sol::low::missing_zero_check::collect_taint_sources
• sol::low::missing_zero_check::is_address_state_var_lhs
• sol::low::missing_zero_check::is_entry_point
• sol::low::missing_zero_check::lhs_local_var
• sol::low::msg_value_loop::is_msg_value
• sol::low::payable_loop::arg_matches_param
• sol::low::payable_loop::args_match_extension_function
• sol::low::payable_loop::args_match_function
• sol::low::payable_loop::base_contract
• sol::low::payable_loop::base_item_source
• sol::low::payable_loop::common_ty
• sol::low::payable_loop::explicit_cast_ty
• sol::low::payable_loop::expr_ty
• sol::low::payable_loop::fn_call_return_type
• sol::low::payable_loop::index_ty
• sol::low::payable_loop::indexed_base_data_location
• sol::low::payable_loop::is_address_ty
• sol::low::payable_loop::is_builtin
• sol::low::payable_loop::is_current_context_helper
• sol::low::payable_loop::is_payable_entry_point
• sol::low::payable_loop::is_this_or_super
• sol::low::payable_loop::member_ty
• sol::low::payable_loop::receiver_matches_param
• sol::low::payable_loop::referenced_item
• sol::low::payable_loop::unique
• sol::low::payable_loop::using_list_allows_extension
• sol::low::payable_loop::variable_data_location
• sol::low::payable_loop::visit_payable_loop_expressions
• sol::low::reentrancy_events::is_aborting_call
• sol::low::reentrancy_events::literal_false
• sol::low::reentrancy_events::merge_opt
• sol::low::return_bomb::call_with_gas_returns_dynamic_data
• sol::low::return_bomb::callee_is_address_returning_builtin
• sol::low::return_bomb::expr_is_address
• sol::low::return_bomb::is_dynamic_ty
• sol::low::return_bomb::low_level_call_with_gas_consumes_unbounded_return_data
• sol::low::return_bomb::member_is_builtin_address
• sol::low::return_bomb::ty_is_address
• sol::med::assert_state_change::contract_id_of
• sol::med::assert_state_change::current_contract
• sol::med::assert_state_change::expr_ty
• sol::med::assert_state_change::find_state_change
• sol::med::assert_state_change::is_address_builtin_member
• sol::med::assert_state_change::is_address_like
• sol::med::assert_state_change::is_assert
• sol::med::assert_state_change::is_dynamic_array_or_bytes
• sol::med::assert_state_change::is_this_or_super
• sol::med::assert_state_change::library_extensions_by_name
• sol::med::assert_state_change::lvalue_is_state_var
• sol::med::assert_state_change::resolve_library_extension
• sol::med::assert_state_change::resolve_member_overloads
• sol::med::assert_state_change::set_current_contract
• sol::med::assert_state_change::ty_is_address
• sol::med::assert_state_change::type_contract_id
• sol::med::create_early_lint_passes
• sol::med::create_late_lint_passes
• sol::med::create_project_lint_passes
• sol::med::div_mul::check_block
• sol::med::div_mul::check_expr
• sol::med::div_mul::check_stmt
• sol::med::div_mul::expr_is_division_result_or_tainted
• sol::med::div_mul::expr_value_is_division_or_tainted
• sol::med::div_mul::is_inc_dec_op
• sol::med::div_mul::is_revert_call
• sol::med::div_mul::is_yul_builtin_call
• sol::med::div_mul::is_yul_division_call
• sol::med::div_mul::is_yul_multiplication_call
• sol::med::div_mul::union_taints
• sol::med::div_mul::update_assignment_taint
• sol::med::div_mul::update_lhs_taint
• sol::med::div_mul::update_multi_decl_taint
• sol::med::div_mul::update_taint
• sol::med::incorrect_erc20_interface::has_incorrect_erc20_signature
• sol::med::incorrect_erc721_interface::has_incorrect_erc721_signature
• sol::med::incorrect_strict_equality::contains_externally_influenced
• sol::med::incorrect_strict_equality::indexed_element_type
• sol::med::incorrect_strict_equality::is_address_expr
• sol::med::incorrect_strict_equality::is_externally_influenced
• sol::med::incorrect_strict_equality::struct_field_type
• sol::med::incorrect_strict_equality::struct_of
• sol::med::locked_ether::args_match
• sol::med::locked_ether::effective_runtime_dispatch_surface
• sol::med::locked_ether::expr_sends_ether
• sol::med::locked_ether::expr_ty
• sol::med::locked_ether::function_always_reverts
• sol::med::locked_ether::is_literal_false
• sol::med::locked_ether::is_literal_zero
• sol::med::locked_ether::is_self_address
• sol::med::locked_ether::is_type_cast_callee
• sol::med::locked_ether::is_unconditional_revert_call
• sol::med::locked_ether::modifier_always_reverts
• sol::med::locked_ether::parameter_signature
• sol::med::locked_ether::receiver_is_address
• sol::med::locked_ether::stmt_outcomes
• sol::med::locked_ether::stmts_always_revert
• sol::med::locked_ether::stmts_outcomes
• sol::med::locked_ether::ty_is_address
• sol::med::locked_ether::write_type_signature
• sol::med::tautology::elem_type_of
• sol::med::tautology::flip
• sol::med::tautology::is_tautology
• sol::med::tautology::lit_value_of
• sol::med::tx_origin::contains_tx_origin
• sol::med::tx_origin::emit_if_contains_tx_origin
• sol::med::tx_origin::is_require_or_assert_call
• sol::med::tx_origin::is_tx_origin
• sol::med::uninitialized_local::branch_always_exits
• sol::med::uninitialized_local::mark_written
• sol::med::uninitialized_state_variables::collect_block_writes_checked
• sol::med::uninitialized_state_variables::collect_callee_funcs
• sol::med::uninitialized_state_variables::collect_expr_writes_checked
• sol::med::uninitialized_state_variables::collect_lvalue_writes
• sol::med::uninitialized_state_variables::collect_stmt_writes_checked
• sol::med::uninitialized_state_variables::mark_storage_args
• sol::med::unsafe_typecast::expr_elementary_type
• sol::med::unsafe_typecast::infer_source_types
• sol::med::unsafe_typecast::is_unsafe_elementary_typecast
• sol::med::unsafe_typecast::is_unsafe_typecast_hir
• sol::med::unused_return::is_erc20_transfer_sig
• sol::med::unused_return::is_ignored_tuple_assignment
• sol::med::unused_return::is_unused_return_call
• sol::med::weak_prng::const_eval_u64
• sol::med::weak_prng::contains_predictable_source
• sol::med::weak_prng::is_abi_encode
• sol::med::weak_prng::is_block_member
• sol::med::weak_prng::is_block_member_with
• sol::med::weak_prng::is_block_timestamp
• sol::med::weak_prng::is_blockhash_call
• sol::med::weak_prng::is_ident
• sol::med::weak_prng::is_keccak256
• sol::med::weak_prng::is_predictable_source
• sol::med::weak_prng::is_randomness_expr
• sol::med::weak_prng::is_randomness_modulo
• sol::med::weak_prng::is_time_bucket_modulus
• sol::med::weak_prng::is_timestamp_time_bucket
• sol::med::weak_prng::is_timestamp_time_bucket_expr
• sol::naming::check_mixed_case
• sol::naming::check_pascal_case
• sol::naming::check_screaming_snake_case
• sol::naming::preserve_underscores
• sol::parse_inline_config

Type Aliases

• sol::low::calls_loop::Placeholder
• sol::low::payable_loop::LoopExprCallback
• sol::low::payable_loop::ModifierContinuation
• sol::low::reentrancy_events::Placeholder

Statics

• sol::ALL_REGISTERED_LINTS
• sol::DEFAULT_LINT_SPECIFIC_CONFIG
• sol::codesize::unwrapped_modifier_logic::UNWRAPPED_MODIFIER_LOGIC
• sol::gas::cache_array_length::CACHE_ARRAY_LENGTH
• sol::gas::costly_loop::COSTLY_LOOP
• sol::gas::custom_errors::CUSTOM_ERRORS
• sol::gas::external_function::EXTERNAL_FUNCTION
• sol::gas::immutable::COULD_BE_CONSTANT
• sol::gas::immutable::COULD_BE_IMMUTABLE
• sol::gas::keccak::ASM_KECCAK256
• sol::gas::unused_state_variables::UNUSED_STATE_VARIABLES
• sol::gas::var_read_using_this::VAR_READ_USING_THIS
• sol::gas::write_after_write::WRITE_AFTER_WRITE
• sol::high::arbitrary_send_erc20::ARBITRARY_SEND_ERC20
• sol::high::arbitrary_send_erc20::ARBITRARY_SEND_ERC20_PERMIT
• sol::high::arbitrary_send_eth::ARBITRARY_SEND_ETH
• sol::high::controlled_delegatecall::CONTROLLED_DELEGATECALL
• sol::high::encode_packed_collision::ENCODE_PACKED_COLLISION
• sol::high::incorrect_shift::INCORRECT_SHIFT
• sol::high::reentrancy::REENTRANCY_ETH
• sol::high::reentrancy::REENTRANCY_NO_ETH
• sol::high::rtlo::RTLO
• sol::high::unchecked_calls::ERC20_UNCHECKED_TRANSFER
• sol::high::unchecked_calls::UNCHECKED_CALL
• sol::high::unprotected_initializer::UNPROTECTED_INITIALIZER
• sol::info::boolean_cst::BOOLEAN_CST
• sol::info::boolean_equal::BOOLEAN_EQUAL
• sol::info::event_fields::EVENT_FIELDS
• sol::info::imports::UNALIASED_PLAIN_IMPORT
• sol::info::imports::UNUSED_IMPORT
• sol::info::inline_assembly::INLINE_ASSEMBLY
• sol::info::interface_naming::INTERFACE_FILE_NAMING
• sol::info::interface_naming::INTERFACE_NAMING
• sol::info::low_level_calls::LOW_LEVEL_CALLS
• sol::info::missing_inheritance::MISSING_INHERITANCE
• sol::info::mixed_case::MIXED_CASE_FUNCTION
• sol::info::mixed_case::MIXED_CASE_VARIABLE
• sol::info::multi_contract_file::MULTI_CONTRACT_FILE
• sol::info::named_struct_fields::NAMED_STRUCT_FIELDS
• sol::info::pascal_case::PASCAL_CASE_STRUCT
• sol::info::pragma_directive::PRAGMA_INCONSISTENT
• sol::info::redundant_base_constructor_call::REDUNDANT_BASE_CONSTRUCTOR_CALL
• sol::info::screaming_snake_case::SCREAMING_SNAKE_CASE_CONSTANT
• sol::info::screaming_snake_case::SCREAMING_SNAKE_CASE_IMMUTABLE
• sol::info::too_many_digits::TOO_MANY_DIGITS
• sol::info::unsafe_cheatcodes::UNSAFE_CHEATCODE_USAGE
• sol::low::block_timestamp::BLOCK_TIMESTAMP
• sol::low::calls_loop::CALLS_LOOP
• sol::low::delegatecall_loop::DELEGATECALL_LOOP
• sol::low::missing_events_access_control::MISSING_EVENTS_ACCESS_CONTROL
• sol::low::missing_events_arithmetic::MISSING_EVENTS_ARITHMETIC
• sol::low::missing_zero_check::MISSING_ZERO_CHECK
• sol::low::msg_value_loop::MSG_VALUE_LOOP
• sol::low::reentrancy_events::REENTRANCY_EVENTS
• sol::low::return_bomb::RETURN_BOMB
• sol::med::assert_state_change::ASSERT_STATE_CHANGE
• sol::med::div_mul::DIVIDE_BEFORE_MULTIPLY
• sol::med::incorrect_erc20_interface::INCORRECT_ERC20_INTERFACE
• sol::med::incorrect_erc721_interface::INCORRECT_ERC721_INTERFACE
• sol::med::incorrect_strict_equality::INCORRECT_STRICT_EQUALITY
• sol::med::locked_ether::LOCKED_ETHER
• sol::med::tautology::TYPE_BASED_TAUTOLOGY
• sol::med::tx_origin::TX_ORIGIN
• sol::med::uninitialized_local::UNINITIALIZED_LOCAL
• sol::med::uninitialized_state_variables::UNINITIALIZED_STATE_VARIABLES
• sol::med::unsafe_typecast::UNSAFE_TYPECAST
• sol::med::unused_return::UNUSED_RETURN
• sol::med::weak_prng::WEAK_PRNG

Constants

• sol::analysis::helper_cache::DEFAULT_HELPER_ANALYSIS_CACHE_LIMIT
• sol::codesize::REGISTERED_LINTS
• sol::gas::REGISTERED_LINTS
• sol::gas::external_function::PROJECT_INDEX
• sol::high::REGISTERED_LINTS
• sol::high::arbitrary_send_erc20::HELPER_DEPTH
• sol::high::arbitrary_send_erc20::PROJECT_INDEX
• sol::high::arbitrary_send_eth::HELPER_CALL_DEPTH
• sol::high::arbitrary_send_eth::HELPER_DEPTH
• sol::high::arbitrary_send_eth::SELF_ALIAS_DEPTH
• sol::high::controlled_delegatecall::HELPER_DEPTH
• sol::info::REGISTERED_LINTS
• sol::info::event_fields::MAX_INDEXED_ANON
• sol::info::event_fields::MAX_INDEXED_NON_ANON
• sol::info::inline_assembly::ASSEMBLY_KW_LEN
• sol::info::inline_assembly::NATSPEC_MEMORY_SAFE_MARKER
• sol::info::unsafe_cheatcodes::UNSAFE_CHEATCODES
• sol::low::REGISTERED_LINTS
• sol::med::REGISTERED_LINTS
• sol::med::assert_state_change::CURRENT_CONTRACT
• sol::med::locked_ether::FALLTHROUGH
• sol::med::locked_ether::NON_REVERT_EXIT
• sol::med::locked_ether::REVERT