List of all items

Structs

• linter::EarlyLintVisitor
• linter::LateLintVisitor
• linter::LintContext
• linter::ProjectLintEmitter
• linter::ProjectSource
• linter::Suggestion
• sol::DeniedLintDiagnostics
• sol::ForgeLintSuite
• sol::OwnedLintPolicy
• sol::SolLint
• sol::SolidityLinter
• sol::SourceLintPolicy
• sol::analysis::HelperAnalysisCache
• sol::analysis::Outcome
• sol::analysis::helper_cache::HelperAnalysisCache
• sol::analysis::modifier_outcome::Outcome
• sol::analysis::stmts::StmtVisitor
• sol::codesize::UnwrappedModifierLogic
• sol::codesize::unwrapped_modifier_logic::ExprFinder
• 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::LoopFacts
• sol::gas::costly_loop::LoopWriteFinder
• sol::gas::external_function::IndexBuilder
• sol::gas::external_function::ParamEscapeFinder
• sol::gas::external_function::ProjectIndex
• sol::gas::immutable::WriteCollector
• sol::gas::unused_state_variables::UsedVarCollector
• sol::gas::var_read_using_this::ThisReadFinder
• sol::gas::write_after_write::Analyzer
• sol::high::ArbitrarySendErc20
• sol::high::ArbitrarySendEth
• sol::high::ControlledDelegatecall
• sol::high::EncodedPackedCollision
• sol::high::EnumerableLoopRemoval
• sol::high::FunctionSelectorCollision
• sol::high::IncorrectExp
• sol::high::IncorrectShift
• sol::high::ProtectedVars
• 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::CallsiteCollector
• sol::high::arbitrary_send_erc20::PendingRepayment
• sol::high::arbitrary_send_erc20::PermitRecord
• sol::high::arbitrary_send_erc20::Rhs
• sol::high::arbitrary_send_erc20::Sink
• sol::high::arbitrary_send_erc20::State
• sol::high::arbitrary_send_erc20::StateWrites
• sol::high::arbitrary_send_eth::Analyzer
• sol::high::arbitrary_send_eth::CallerGuards
• sol::high::arbitrary_send_eth::SelfAssignScan
• sol::high::arbitrary_send_eth::State
• sol::high::controlled_delegatecall::Analyzer
• sol::high::enumerable_loop_removal::ExprWalker
• sol::high::enumerable_loop_removal::LoopFinder
• sol::high::enumerable_loop_removal::SetCall
• sol::high::enumerable_loop_removal::SetPath
• sol::high::function_selector_collision::CalldataInput
• sol::high::function_selector_collision::Continuation
• sol::high::function_selector_collision::DelegateTarget
• sol::high::function_selector_collision::DelegateTargetCollector
• sol::high::function_selector_collision::LoopControl
• sol::high::function_selector_collision::PathState
• sol::high::function_selector_collision::SelectorFilter
• sol::high::incorrect_shift::ShiftChecker
• sol::high::protected_vars::AliasState
• sol::high::protected_vars::CallContext
• sol::high::protected_vars::CallSummary
• sol::high::protected_vars::EntryAnalyzer
• sol::high::protected_vars::FlowState
• sol::high::protected_vars::LoopFlow
• sol::high::protected_vars::ModifierContinuation
• sol::high::reentrancy::Analyzer
• sol::high::reentrancy::BalanceForm
• sol::high::reentrancy::BalanceTerm
• sol::high::reentrancy::BalanceValue
• sol::high::reentrancy::CallCollector
• sol::high::reentrancy::FlowState
• sol::high::reentrancy::InlineCallKey
• sol::high::unprotected_initializer::Reach
• sol::info::BooleanCst
• sol::info::BooleanEqual
• sol::info::CyclomaticComplexity
• sol::info::EventFields
• sol::info::FunctionInitState
• sol::info::Imports
• sol::info::IncorrectUsingFor
• sol::info::InlineAssembly
• sol::info::InterfaceFileNaming
• sol::info::InternalFunctionUsedOnce
• sol::info::LiteralInsteadOfConstant
• sol::info::LowLevelCalls
• sol::info::MissingInheritance
• sol::info::MixedCaseFunction
• sol::info::MixedCaseVariable
• sol::info::ModifierUsedOnlyOnce
• sol::info::MultiContractFile
• sol::info::NamedStructFields
• sol::info::PascalCaseStruct
• sol::info::PragmaDirective
• sol::info::RedundantBaseConstructorCall
• sol::info::ScreamingSnakeCase
• sol::info::TodoComment
• sol::info::TooManyDigits
• sol::info::UnsafeCheatcodes
• sol::info::UnusedError
• sol::info::cyclomatic_complexity::DecisionCounter
• sol::info::function_init_state::ImpureRefFinder
• sol::info::imports::UsedSymbols
• sol::info::internal_function_used_once::RefInfo
• sol::info::internal_function_used_once::ReferenceCounter
• sol::info::literal_instead_of_constant::LiteralCollector
• sol::info::mixed_case::MixedCasePass
• sol::info::multi_contract_file::MultiContractFilePass
• sol::info::pascal_case::PascalCaseStructPass
• sol::info::too_many_digits::YulLiterals
• sol::info::unused_error::UsedErrorCollector
• sol::low::BlockTimestamp
• sol::low::CallsLoop
• sol::low::DelegatecallLoop
• sol::low::DeprecatedOzFunction
• sol::low::EmptyBlock
• sol::low::InconsistentTypeNames
• sol::low::IncorrectModifier
• sol::low::MissingEventsAccessControl
• sol::low::MissingEventsArithmetic
• sol::low::MissingZeroCheck
• sol::low::MsgValueLoop
• sol::low::ReentrancyEvents
• sol::low::RequireRevertInLoop
• sol::low::ReturnBomb
• sol::low::SolmateSafeTransferLib
• sol::low::block_timestamp::Checker
• sol::low::missing_events_access_control::State
• sol::low::missing_events_access_control::StateWrite
• sol::low::missing_events_access_control::WriteAnalyzer
• sol::low::missing_events_arithmetic::Flow
• sol::low::missing_events_arithmetic::StateWrite
• sol::low::missing_events_arithmetic::UseAnalyzer
• sol::low::missing_events_arithmetic::WriteAnalyzer
• sol::low::missing_events_arithmetic::WriteState
• sol::low::missing_zero_check::Analyzer
• sol::low::payable_loop::LoopWalker
• sol::low::reentrancy_events::Analyzer
• sol::low::reentrancy_events::Exits
• sol::low::reentrancy_events::InlineCallKey
• sol::med::AssertStateChange
• sol::med::CheatcodeEnvironment
• sol::med::DangerousUnaryOperator
• sol::med::DivideBeforeMultiply
• sol::med::Ecrecover
• sol::med::IncorrectERC20Interface
• sol::med::IncorrectERC721Interface
• sol::med::IncorrectStrictEquality
• sol::med::LockedEther
• sol::med::MappingDeletion
• sol::med::NonReentrantNotFirst
• sol::med::TautologicalCompare
• sol::med::TxOrigin
• sol::med::TypeBasedTautology
• sol::med::UninitializedLocal
• sol::med::UninitializedStateVariables
• sol::med::UnsafeOzErc721Mint
• sol::med::UnsafeTypecast
• sol::med::UnusedReturn
• sol::med::WeakPrng
• sol::med::cheatcode_environment::Checker
• sol::med::cheatcode_environment::Mutation
• sol::med::cheatcode_environment::Read
• sol::med::cheatcode_environment::State
• sol::med::cheatcode_environment::Value
• sol::med::ecrecover::Analyzer
• sol::med::ecrecover::FlowState
• sol::med::ecrecover::PendingRecovery
• sol::med::ecrecover::SideEffects
• sol::med::locked_ether::SendChecker
• sol::med::tautology::Comparison
• sol::med::tautology::Range
• sol::med::tx_origin::TxOriginFinder
• sol::med::uninitialized_local::Checker
• sol::med::uninitialized_state_variables::Collector
• sol::med::unsafe_oz_erc721_mint::Cx
• sol::med::unsafe_oz_erc721_mint::Finder
• sol::med::unsafe_oz_erc721_mint::GuardWalk
• sol::med::unsafe_oz_erc721_mint::GuardWalker
• sol::med::unsafe_oz_erc721_mint::UnsafeMintTarget
• sol::med::weak_prng::PredictableSourceFinder
• sol::med::weak_prng::WeakPrngChecker

Enums

• linter::SuggestionKind
• sol::SolLintError
• sol::analysis::access_control::Guard
• sol::high::arbitrary_send_erc20::TokenKey
• sol::high::enumerable_loop_removal::SetOp
• sol::high::enumerable_loop_removal::Step
• sol::high::reentrancy::Operand
• sol::high::reentrancy::PathPredicate
• sol::high::reentrancy::ReentrantCallKind
• sol::info::literal_instead_of_constant::LiteralValue
• sol::low::calls_loop::ExternalCall
• sol::low::missing_events_access_control::Source
• sol::low::missing_events_arithmetic::Mode
• sol::low::payable_loop::LoopItem
• sol::med::cheatcode_environment::Environment
• sol::med::cheatcode_environment::Flow
• sol::med::cheatcode_environment::Scalar
• sol::med::ecrecover::ValueId
• sol::med::ecrecover::ValueKey
• sol::med::unsafe_oz_erc721_mint::GuardCoverage
• sol::med::unsafe_oz_erc721_mint::SelectorEncoding

Traits

• linter::EarlyLintPass
• linter::LateLintPass
• linter::Lint
• linter::LintPolicy
• linter::Linter
• linter::ProjectLintPass

Macros

• declare_forge_lint
• register_lints

Functions

• sol::all_lints
• sol::analysis::access_check_polarity
• sol::analysis::access_control::access_check_polarity
• sol::analysis::access_control::dominating_stmts
• sol::analysis::access_control::expr_reads_sender
• sol::analysis::access_control::expr_reads_state
• sol::analysis::access_control::expr_state_vars
• sol::analysis::access_control::for_each_guard
• sol::analysis::access_control::function_reads_sender
• sol::analysis::access_control::function_state_vars
• sol::analysis::access_control::guard_vars
• sol::analysis::access_control::has_access_guard
• sol::analysis::access_control::is_protected
• sol::analysis::access_control::looks_like_access_control
• sol::analysis::access_control::modifiers_and_self
• sol::analysis::access_control::update_sender_aliases
• sol::analysis::address_call_receiver
• sol::analysis::any_subexpr
• sol::analysis::arg_for_param
• sol::analysis::ast_bool_literal
• sol::analysis::block_outcome
• sol::analysis::branch_always_exits
• sol::analysis::callee_no_arg_returns
• sol::analysis::cast_type
• sol::analysis::count_placeholders
• sol::analysis::dispatched_function
• sol::analysis::do_while_user_stmts
• sol::analysis::expr_is_address
• sol::analysis::expr_reads_sender
• sol::analysis::expr_state_vars
• sol::analysis::exprs::address_call_receiver
• sol::analysis::exprs::any_subexpr
• sol::analysis::exprs::arg_for_param
• sol::analysis::exprs::ast_bool_literal
• sol::analysis::exprs::callee_no_arg_returns
• sol::analysis::exprs::cast_type
• sol::analysis::exprs::dispatched_function
• sol::analysis::exprs::for_each_child
• sol::analysis::exprs::for_each_lhs_var
• sol::analysis::exprs::function_no_arg_returns
• sol::analysis::exprs::has_side_effect
• sol::analysis::exprs::is_address_cast
• sol::analysis::exprs::is_address_like_cast
• sol::analysis::exprs::is_address_self
• sol::analysis::exprs::is_builtin
• sol::analysis::exprs::is_call_with_gas_limit
• sol::analysis::exprs::is_contract_cast
• sol::analysis::exprs::is_exit_call
• sol::analysis::exprs::is_literal_false
• sol::analysis::exprs::is_literal_zero
• sol::analysis::exprs::is_low_level_call
• sol::analysis::exprs::is_msg_sender
• sol::analysis::exprs::is_require_or_assert
• sol::analysis::exprs::is_revert_call
• sol::analysis::exprs::is_sender_member
• sol::analysis::exprs::is_zero_value
• sol::analysis::exprs::lhs_local_var
• sol::analysis::exprs::referenced_item
• sol::analysis::exprs::runtime_entry_points
• sol::analysis::exprs::source_in_package
• sol::analysis::exprs::state_lhs_vars
• sol::analysis::exprs::tuple_elems
• sol::analysis::exprs::underlying_var
• sol::analysis::exprs::var_is_address_like
• sol::analysis::exprs::write_target
• sol::analysis::for_each_child
• sol::analysis::for_each_lhs_var
• sol::analysis::function_no_arg_returns
• sol::analysis::function_reads_sender
• sol::analysis::function_state_vars
• sol::analysis::guard_vars
• sol::analysis::has_access_guard
• sol::analysis::has_side_effect
• sol::analysis::is_address_cast
• sol::analysis::is_address_like_cast
• sol::analysis::is_address_self
• sol::analysis::is_address_type
• sol::analysis::is_break_stmt
• sol::analysis::is_builtin
• sol::analysis::is_call_with_gas_limit
• sol::analysis::is_contract_cast
• sol::analysis::is_elementary
• sol::analysis::is_exit_call
• sol::analysis::is_literal_false
• sol::analysis::is_literal_zero
• sol::analysis::is_loop_termination_if
• sol::analysis::is_low_level_call
• sol::analysis::is_msg_sender
• sol::analysis::is_protected
• sol::analysis::is_require_or_assert
• sol::analysis::is_revert_call
• sol::analysis::is_sender_member
• sol::analysis::is_zero_value
• sol::analysis::lhs_local_var
• sol::analysis::looks_like_access_control
• sol::analysis::loop_stmts
• sol::analysis::loop_update
• sol::analysis::modifier_outcome::block_outcome
• sol::analysis::modifier_outcome::call_outcome
• sol::analysis::modifier_outcome::stmt_outcome
• sol::analysis::modifier_prefix
• sol::analysis::modifiers_and_self
• sol::analysis::receiver_contract_id
• sol::analysis::referenced_item
• sol::analysis::runtime_entry_points
• sol::analysis::source_in_package
• sol::analysis::state_lhs_vars
• sol::analysis::stmt_expr
• sol::analysis::stmts::branch_always_exits
• sol::analysis::stmts::count_placeholders
• sol::analysis::stmts::count_placeholders_in_stmt
• sol::analysis::stmts::do_while_user_stmts
• sol::analysis::stmts::is_break_stmt
• sol::analysis::stmts::is_loop_termination_if
• sol::analysis::stmts::loop_stmts
• sol::analysis::stmts::loop_update
• sol::analysis::stmts::modifier_prefix
• sol::analysis::stmts::stmt_expr
• sol::analysis::stmts::stmts_before_placeholder
• sol::analysis::stmts::stmts_break_or_continue
• sol::analysis::stmts::visit_stmts
• sol::analysis::stmts_before_placeholder
• sol::analysis::stmts_break_or_continue
• sol::analysis::tuple_elems
• sol::analysis::ty_contract_id
• sol::analysis::ty_is_address
• sol::analysis::types::expr_is_address
• sol::analysis::types::is_address_type
• sol::analysis::types::is_elementary
• sol::analysis::types::receiver_contract_id
• sol::analysis::types::ty_contract_id
• sol::analysis::types::ty_is_address
• sol::analysis::types::unique
• sol::analysis::underlying_var
• sol::analysis::unique
• sol::analysis::var_is_address_like
• sol::analysis::visit_stmts
• sol::analysis::write_target
• sol::codesize::register_lints
• sol::codesize::unwrapped_modifier_logic::any_expr
• sol::codesize::unwrapped_modifier_logic::is_plain_call
• sol::codesize::unwrapped_modifier_logic::requires_wrapping
• sol::codesize::unwrapped_modifier_logic::snippet
• sol::gas::cache_array_length::call_may_mutate_state
• sol::gas::cache_array_length::collect_length_reads
• sol::gas::cache_array_length::is_array_like
• sol::gas::cache_array_length::state_dyn_array
• sol::gas::costly_loop::lvalue_is_state_var
• sol::gas::custom_errors::is_string_literal
• sol::gas::external_function::build_project_index
• sol::gas::external_function::is_memory_reference
• sol::gas::external_function::project_index
• sol::gas::external_function::root_var_is
• sol::gas::immutable::has_assembly_or_unknown
• sol::gas::immutable::is_compile_time_constant
• sol::gas::immutable::is_constant_call
• sol::gas::register_lints
• sol::gas::var_read_using_this::suggestion
• sol::high::arbitrary_send_erc20::callsite_index
• sol::high::arbitrary_send_erc20::canonical_args
• sol::high::arbitrary_send_erc20::common_entries
• sol::high::arbitrary_send_erc20::has_transfer_from
• sol::high::arbitrary_send_erc20::interface_has_function
• sol::high::arbitrary_send_erc20::is_internal_only
• 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::origin_matches
• sol::high::arbitrary_send_erc20::state_writes
• sol::high::arbitrary_send_erc20::sum_operands
• sol::high::arbitrary_send_erc20::token_key
• sol::high::arbitrary_send_eth::expr_is_array_or_bytes
• sol::high::arbitrary_send_eth::expr_is_function
• 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_msg_sender_like
• sol::high::arbitrary_send_eth::is_numeric_cast
• sol::high::arbitrary_send_eth::is_trusted_literal
• 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::peel_casts
• sol::high::arbitrary_send_eth::stmt_contains_return
• sol::high::controlled_delegatecall::intersect
• sol::high::controlled_delegatecall::is_cast
• sol::high::controlled_delegatecall::modifier_safe_vars
• sol::high::controlled_delegatecall::no_arg_helper_return
• sol::high::controlled_delegatecall::underlying_var
• sol::high::encode_packed_collision::is_dynamic_arg
• sol::high::encode_packed_collision::is_str_lit
• sol::high::enumerable_loop_removal::ascending_cadence
• sol::high::enumerable_loop_removal::ascending_step
• sol::high::enumerable_loop_removal::body_is_straight_line
• sol::high::enumerable_loop_removal::collect_cadence_writes
• sol::high::enumerable_loop_removal::collect_writes
• sol::high::enumerable_loop_removal::enumerable_set_call
• sol::high::enumerable_loop_removal::is_positive_literal
• sol::high::enumerable_loop_removal::literal_bool
• sol::high::enumerable_loop_removal::set_path
• sol::high::enumerable_loop_removal::user_body
• sol::high::function_selector_collision::dedup
• sol::high::function_selector_collision::delegated_contract
• sol::high::function_selector_collision::extend_unique
• sol::high::function_selector_collision::full_calldata_source
• sol::high::function_selector_collision::lvalue_contains_var
• sol::high::function_selector_collision::selector_guard
• sol::high::function_selector_collision::typed_contract_behind_address_cast
• sol::high::incorrect_exp::peel_int_casts
• sol::high::incorrect_exp::plain_decimal_int_lit
• sol::high::protected_vars::analyze_entry
• sol::high::protected_vars::callable_signature
• sol::high::protected_vars::is_most_derived_contract
• sol::high::protected_vars::is_static_internal_base
• sol::high::protected_vars::join
• sol::high::protected_vars::protected_variables
• sol::high::protected_vars::protection_targets
• sol::high::protected_vars::slither_function_parameter
• sol::high::protected_vars::source_type_signature
• sol::high::protected_vars::write_protection_token
• sol::high::reentrancy::balance_reentry_lock
• sol::high::reentrancy::branch_stops_current_path
• sol::high::reentrancy::call_option
• sol::high::reentrancy::call_options_allow_reentrancy
• sol::high::reentrancy::call_sends_eth
• sol::high::reentrancy::call_uses_delegate_context
• sol::high::reentrancy::callee_can_reenter
• sol::high::reentrancy::cast_args
• sol::high::reentrancy::collect_internal_calls
• sol::high::reentrancy::common_path_predicates
• sol::high::reentrancy::const_value
• sol::high::reentrancy::constrain_boolean_outcome
• sol::high::reentrancy::constrain_paths
• sol::high::reentrancy::forget_path_predicates
• sol::high::reentrancy::guard_activation
• sol::high::reentrancy::guard_locks
• sol::high::reentrancy::guard_restoration
• sol::high::reentrancy::is_entry_point
• sol::high::reentrancy::is_uncapped_value_call
• sol::high::reentrancy::is_view_or_pure
• sol::high::reentrancy::is_zero_value
• sol::high::reentrancy::join_branches
• sol::high::reentrancy::merge_maps
• sol::high::reentrancy::owned_by
• sol::high::reentrancy::path_predicate
• sol::high::reentrancy::paths_compatible
• sol::high::reentrancy::predicate_operand
• sol::high::reentrancy::remap_return_paths
• sol::high::reentrancy::simple_internal_call
• sol::high::reentrancy::standard_reentrancy_guard_lock
• sol::high::reentrancy::state_lock_assignment
• sol::high::reentrancy::static_internal_callee
• sol::high::reentrancy::stmt_rejects_lock_value
• sol::high::register_lints
• sol::high::rtlo::bidi_char_name
• sol::high::unchecked_calls::is_erc20_transfer_call
• sol::high::unprotected_initializer::has_initializer_modifier
• sol::high::unprotected_initializer::has_modifier_named
• sol::high::unprotected_initializer::internal_callee
• sol::high::unprotected_initializer::is_destructive_call
• sol::high::unprotected_initializer::lhs_writes_state
• sol::high::unprotected_initializer::reaches
• sol::high::unprotected_initializer::references_storage
• sol::high::unprotected_initializer::writes_state
• sol::info::boolean_cst::check_expr
• sol::info::boolean_equal::simplify
• sol::info::incorrect_using_for::check_directive
• sol::info::inline_assembly::has_memory_safe_natspec
• sol::info::interface_naming::file_name
• sol::info::internal_function_used_once::only_referenced_within_cycle
• sol::info::literal_instead_of_constant::is_lit
• sol::info::missing_inheritance::is_signature_only
• sol::info::mixed_case::check_mixed_case
• sol::info::mixed_case::is_constant_getter
• sol::info::redundant_base_constructor_call::expand_to_leading_ws
• sol::info::redundant_base_constructor_call::try_emit
• sol::info::register_lints
• sol::info::todo::is_control_comment
• sol::info::todo::marker_at_start
• sol::info::todo::strip_comment_prefix
• sol::info::too_many_digits::check_lit
• sol::low::block_timestamp::is_block_timestamp
• sol::low::block_timestamp::is_cmp
• sol::low::block_timestamp::returns_timestamp
• sol::low::calls_loop::classify
• sol::low::calls_loop::is_external_call
• sol::low::calls_loop::is_state_mutating_external_call
• sol::low::deprecated_oz_function::is_deprecated_oz
• sol::low::inconsistent_type_names::int_spellings
• sol::low::missing_events_access_control::emitted_event_id
• sol::low::missing_events_access_control::event_mentions_state_var
• sol::low::missing_events_access_control::for_each_lhs_index
• sol::low::missing_events_access_control::merge_branches
• sol::low::missing_events_access_control::normalize
• sol::low::missing_events_arithmetic::is_arithmetic_op
• sol::low::missing_events_arithmetic::merge
• sol::low::payable_loop::for_each_loop_item
• sol::low::payable_loop::for_each_payable_loop_expr
• sol::low::reentrancy_events::join
• sol::low::register_lints
• sol::low::require_revert_in_loop::is_require_or_revert_call
• sol::low::return_bomb::is_dynamic_ty
• sol::low::solmate_safe_transfer_lib::is_unchecked_token_op
• sol::med::assert_state_change::is_mutating_call
• sol::med::assert_state_change::is_state_change
• sol::med::assert_state_change::is_storage_lvalue
• sol::med::dangerous_unary_operator::leads_with_fusable_unary
• sol::med::div_mul::check_block
• sol::med::div_mul::check_branches
• sol::med::div_mul::check_expr
• sol::med::div_mul::check_stmt
• sol::med::div_mul::is_division_or_tainted
• sol::med::div_mul::is_yul_call
• sol::med::div_mul::rhs_taints
• sol::med::div_mul::set_lhs_taint
• sol::med::div_mul::set_taint
• sol::med::ecrecover::call_may_mutate_state
• sol::med::ecrecover::is_transparent_cast
• sol::med::ecrecover::negate_comparison
• sol::med::ecrecover::reverse_comparison
• sol::med::ecrecover::var_of
• sol::med::incorrect_strict_equality::is_externally_influenced
• sol::med::locked_ether::always_reverts
• sol::med::locked_ether::expr_sends_ether
• sol::med::register_lints
• sol::med::tautological_compare::exprs_equal
• sol::med::tautological_compare::literals_equal
• sol::med::tautology::cmp
• sol::med::tautology::comparison_of
• sol::med::tautology::comparison_operand_of
• sol::med::tautology::elem_type_of
• sol::med::tautology::integer_bounds
• sol::med::tautology::is_boundary_composition
• sol::med::tautology::is_tautology
• sol::med::tautology::lit_value_of
• sol::med::tautology::split_comparison
• sol::med::tx_origin::emit_if_contains_tx_origin
• sol::med::uninitialized_local::defaulted_counter_loop
• sol::med::uninitialized_state_variables::is_local_storage_var
• sol::med::uninitialized_state_variables::is_storage_pointer
• sol::med::uninitialized_state_variables::root_vars
• sol::med::uninitialized_state_variables::storage_aliases
• sol::med::unsafe_oz_erc721_mint::assigns_to
• sol::med::unsafe_oz_erc721_mint::is_assembly
• sol::med::unsafe_oz_erc721_mint::is_canonical_erc721
• sol::med::unsafe_oz_erc721_mint::is_internal
• sol::med::unsafe_oz_erc721_mint::is_revert_call
• sol::med::unsafe_oz_erc721_mint::keeps_its_value
• sol::med::unsafe_oz_erc721_mint::modifier_body_sides
• sol::med::unsafe_oz_erc721_mint::named
• sol::med::unsafe_typecast::is_bounded_by_mask
• sol::med::unsafe_typecast::is_unsafe_elementary_typecast
• sol::med::unsafe_typecast::source_types
• sol::med::unused_return::is_unused_return_call
• sol::med::weak_prng::contains_predictable_source
• sol::med::weak_prng::is_timestamp_time_bucket
• sol::naming::check_mixed_case
• sol::naming::check_pascal_case
• sol::naming::check_screaming_snake_case
• sol::naming::emit_rename
• sol::naming::has_acronym_exception
• sol::naming::preserve_underscores
• sol::naming::suggest
• sol::parse_inline_config

Type Aliases

• sol::high::arbitrary_send_erc20::CallsiteFacts
• sol::high::enumerable_loop_removal::Bindings
• sol::high::protected_vars::RootMap
• sol::high::protected_vars::StorageRoots
• sol::high::reentrancy::ModifierContinuation
• sol::high::reentrancy::PathAlternatives
• sol::high::reentrancy::PathPredicates
• sol::info::mixed_case::MixedCaseFunctionPass
• sol::info::mixed_case::MixedCaseVariablePass
• sol::low::missing_events_access_control::Sources
• sol::low::payable_loop::Continuation
• sol::low::reentrancy_events::Placeholder
• sol::med::div_mul::Tainted
• sol::med::ecrecover::Pair
• sol::med::ecrecover::Signature
• sol::med::tautology::Const
• sol::med::uninitialized_state_variables::Aliases
• sol::med::unsafe_oz_erc721_mint::Call

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::enumerable_loop_removal::ENUMERABLE_LOOP_REMOVAL
• sol::high::function_selector_collision::FUNCTION_SELECTOR_COLLISION
• sol::high::incorrect_exp::INCORRECT_EXP
• sol::high::incorrect_shift::INCORRECT_SHIFT
• sol::high::protected_vars::PROTECTED_VARS
• sol::high::reentrancy::REENTRANCY_BALANCE
• 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::cyclomatic_complexity::CYCLOMATIC_COMPLEXITY
• sol::info::event_fields::EVENT_FIELDS
• sol::info::function_init_state::FUNCTION_INIT_STATE
• sol::info::imports::UNALIASED_PLAIN_IMPORT
• sol::info::imports::UNUSED_IMPORT
• sol::info::incorrect_using_for::INCORRECT_USING_FOR
• sol::info::inline_assembly::INLINE_ASSEMBLY
• sol::info::interface_naming::INTERFACE_FILE_NAMING
• sol::info::interface_naming::INTERFACE_NAMING
• sol::info::internal_function_used_once::INTERNAL_FUNCTION_USED_ONCE
• sol::info::literal_instead_of_constant::LITERAL_INSTEAD_OF_CONSTANT
• 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::modifier_used_only_once::MODIFIER_USED_ONLY_ONCE
• 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::todo::TODO_COMMENT
• sol::info::too_many_digits::TOO_MANY_DIGITS
• sol::info::unsafe_cheatcodes::UNSAFE_CHEATCODE_USAGE
• sol::info::unused_error::UNUSED_ERROR
• sol::low::block_timestamp::BLOCK_TIMESTAMP
• sol::low::calls_loop::CALLS_LOOP
• sol::low::delegatecall_loop::DELEGATECALL_LOOP
• sol::low::deprecated_oz_function::DEPRECATED_OZ_FUNCTION
• sol::low::empty_block::EMPTY_BLOCK
• sol::low::inconsistent_type_names::INCONSISTENT_TYPE_NAMES
• sol::low::incorrect_modifier::INCORRECT_MODIFIER
• 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::require_revert_in_loop::REQUIRE_REVERT_IN_LOOP
• sol::low::return_bomb::RETURN_BOMB
• sol::low::solmate_safe_transfer_lib::SOLMATE_SAFE_TRANSFER_LIB
• sol::med::assert_state_change::ASSERT_STATE_CHANGE
• sol::med::cheatcode_environment::ENVIRONMENT_READ_ACROSS_MUTATION
• sol::med::dangerous_unary_operator::DANGEROUS_UNARY_OPERATOR
• sol::med::div_mul::DIVIDE_BEFORE_MULTIPLY
• sol::med::ecrecover::ECRECOVER
• 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::mapping_deletion::MAPPING_DELETION
• sol::med::non_reentrant_not_first::NON_REENTRANT_NOT_FIRST
• sol::med::tautological_compare::TAUTOLOGICAL_COMPARE
• 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_oz_erc721_mint::UNSAFE_OZ_ERC721_MINT
• sol::med::unsafe_typecast::UNSAFE_TYPECAST
• sol::med::unused_return::UNUSED_RETURN
• sol::med::weak_prng::WEAK_PRNG

Constants

• sol::analysis::DEFAULT_HELPER_ANALYSIS_CACHE_LIMIT
• sol::analysis::OPENZEPPELIN_ROOTS
• sol::analysis::exprs::OPENZEPPELIN_ROOTS
• 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::CALLSITE_INDEX
• sol::high::arbitrary_send_erc20::HELPER_DEPTH
• 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::high::function_selector_collision::MAX_LOOP_PATH_STATES
• sol::high::reentrancy::REENTRANCY_GAS_STIPEND
• sol::info::REGISTERED_LINTS
• sol::info::cyclomatic_complexity::MAX_COMPLEXITY
• sol::info::todo::MARKERS
• sol::info::todo::TRAILING
• sol::info::unsafe_cheatcodes::UNSAFE_CHEATCODES
• sol::low::REGISTERED_LINTS
• sol::med::REGISTERED_LINTS
• sol::med::cheatcode_environment::CHEATCODE_ADDRESS
• sol::med::cheatcode_environment::MAX_CALL_DEPTH
• sol::med::cheatcode_environment::MAX_LOOP_ITERATIONS
• sol::med::cheatcode_environment::MAX_PATHS
• sol::med::cheatcode_environment::MAX_STEPS
• sol::med::ecrecover::SECP256K1_HALF_ORDER
• sol::med::incorrect_erc20_interface::ERC20_FUNCTIONS
• sol::med::incorrect_erc721_interface::ERC721_FUNCTIONS
• sol::med::unsafe_oz_erc721_mint::ERC721_RECEIVED