List of all items

Structs

• PortfolioDiagnostics
• SymbolicExecutor
• SymbolicInvariantRunInput
• SymbolicInvariantStep
• SymbolicInvariantTarget
• SymbolicRunInput
• SymbolicStats
• abi::SymbolicAbiBuilder
• abi::SymbolicCalldata
• abi::SymbolicInput
• runtime::SymbolicRunInput
• runtime::calldata::SymCalldata
• runtime::memory::SymCode
• runtime::memory::SymMemory
• runtime::memory::SymReturnData
• runtime::memory::SymStack
• runtime::memory::SymbolicMemoryWrite
• runtime::solver::PortfolioDiagnostics
• runtime::solver::PortfolioScheduler
• runtime::solver::ScheduledSolver
• runtime::solver::SmtLibSubprocessSolver
• runtime::solver::SolverCommand
• runtime::solver::SolverCommandRun
• runtime::solver::SolverProcessResult
• runtime::solver::SolverRunSummary
• runtime::solver::hard_arith_fallback::FallbackSearch
• runtime::solver::hard_arith_fallback::MaskHints
• runtime::solver::normalize::ConstraintContext
• runtime::state::AccessRecord
• runtime::state::CallFrame
• runtime::state::CallMock
• runtime::state::CallMockOutcome
• runtime::state::ExpectedCall
• runtime::state::ExpectedCreate
• runtime::state::ExpectedEmit
• runtime::state::ExpectedEmitChecks
• runtime::state::ExpectedRevert
• runtime::state::ExternalCallOutcome
• runtime::state::FunctionMock
• runtime::state::InvariantCheckOutcome
• runtime::state::PathState
• runtime::state::SequencePath
• runtime::state::SequenceStepTemplate
• runtime::state::StorageWrite
• runtime::state::SymbolicBlock
• runtime::state::SymbolicLog
• runtime::state::SymbolicPrank
• runtime::state::SymbolicWorld
• runtime::state::SymbolicWorldSnapshot
• runtime::state::TopLevelCallOutcome

Enums

• SymbolicError
• SymbolicInvariantRunResult
• SymbolicRunResult
• SymbolicStopReason
• abi::DynamicKind
• abi::SymbolicAbiValue
• runtime::SymbolicError
• runtime::control::CallKind
• runtime::control::CheatcodeOutcome
• runtime::control::CreateKind
• runtime::control::ShiftKind
• runtime::control::StepOutcome
• runtime::expressions::BoolExpr
• runtime::expressions::BoolExprOp
• runtime::expressions::Expr
• runtime::expressions::ExprOp
• runtime::expressions::SymWord
• runtime::memory::BoundedCopySize
• runtime::memory::GuardedOpcode
• runtime::solver::PortfolioSchedulerSignal
• runtime::solver::SolverConfigError
• runtime::solver::SolverOutcome
• runtime::solver::SolverProcessOutcome
• runtime::state::AssumeNoRevert
• runtime::state::ExpectedRevertData
• runtime::state::TopLevelCallStatus

Traits

• runtime::solver::SymbolicSolver

Macros

• selector

Functions

• abi::calldata_variant_limit
• abi::child_aliases
• abi::encode_packed_bytes_with_len
• abi::encode_sequence
• abi::first_dynamic_length
• abi::push_variant
• abi::validate_positional_dynamic_lengths
• executor::calls::ensure_word_not_gasleft
• executor::opcodes::addmod_exact
• executor::opcodes::mulmod_exact
• executor::opcodes::u512_mod_to_u256
• executor::pop_batch
• executor::pop_worklist
• executor::spill_batch
• runtime::address::address_byte_terms
• runtime::address::address_expr_equivalent
• runtime::address::address_match_condition
• runtime::address::address_word
• runtime::address::expr_binary_byte_term
• runtime::address::expr_byte_const
• runtime::address::expr_byte_term
• runtime::address::extracted_byte_expr
• runtime::address::is_address_mask
• runtime::address::is_shift_96
• runtime::address::mask_bits
• runtime::address::representative_symbolic_address
• runtime::address::stable_symbol
• runtime::address::symbolic_address_equivalent
• runtime::address::symbolic_address_key
• runtime::address::word_to_address
• runtime::calldata::bounded_copy_size_parts
• runtime::calldata::bounded_copy_size_word
• runtime::calldata::call_input_from_memory
• runtime::calldata::calldata_from_call_input
• runtime::cheatcodes::abi_bytes_return
• runtime::cheatcodes::abi_bytes_return_with_len
• runtime::cheatcodes::abi_concrete_bytes_return
• runtime::cheatcodes::abi_concrete_value_return
• runtime::cheatcodes::abi_static_input_size
• runtime::cheatcodes::accesses_return_data
• runtime::cheatcodes::array_assertion_element_type
• runtime::cheatcodes::artifact_code
• runtime::cheatcodes::artifact_json_path
• runtime::cheatcodes::complete_cheatcode_call
• runtime::cheatcodes::decode_cheatcode_args
• runtime::cheatcodes::derive_private_key
• runtime::cheatcodes::derive_private_key_with_language
• runtime::cheatcodes::dyn_address
• runtime::cheatcodes::dyn_address_array
• runtime::cheatcodes::dyn_bool
• runtime::cheatcodes::dyn_bytes
• runtime::cheatcodes::dyn_bytes32_array
• runtime::cheatcodes::dyn_potential_revert
• runtime::cheatcodes::dyn_potential_reverts
• runtime::cheatcodes::dyn_string
• runtime::cheatcodes::dyn_string_array
• runtime::cheatcodes::expected_revert_match_condition
• runtime::cheatcodes::foundry_cheatcode_min_input_size
• runtime::cheatcodes::hex_nibble_ascii
• runtime::cheatcodes::parse_env_address
• runtime::cheatcodes::parse_env_address_value
• runtime::cheatcodes::parse_env_array
• runtime::cheatcodes::parse_env_bool
• runtime::cheatcodes::parse_env_bool_value
• runtime::cheatcodes::parse_env_bytes
• runtime::cheatcodes::parse_env_bytes32
• runtime::cheatcodes::parse_env_bytes32_value
• runtime::cheatcodes::parse_env_bytes_value
• runtime::cheatcodes::parse_env_int
• runtime::cheatcodes::parse_env_int_value
• runtime::cheatcodes::parse_env_string_value
• runtime::cheatcodes::parse_env_uint
• runtime::cheatcodes::parse_env_uint_value
• runtime::cheatcodes::private_key_address
• runtime::cheatcodes::private_key_signer
• runtime::cheatcodes::push_ascii
• runtime::cheatcodes::push_hex_byte
• runtime::cheatcodes::push_hex_word
• runtime::cheatcodes::read_abi_address_arg
• runtime::cheatcodes::read_abi_address_or_symbolic_slot_arg
• runtime::cheatcodes::read_abi_address_word_or_symbolic_slot_arg
• runtime::cheatcodes::read_abi_bool_arg
• runtime::cheatcodes::read_abi_bytes4_words_arg
• runtime::cheatcodes::read_abi_concrete_word_arg
• runtime::cheatcodes::read_abi_constrained_address_arg
• runtime::cheatcodes::read_abi_constrained_word_arg
• runtime::cheatcodes::read_abi_dynamic_bytes_arg
• runtime::cheatcodes::read_abi_dynamic_return_data_arg
• runtime::cheatcodes::read_abi_string_arg
• runtime::cheatcodes::read_abi_symbolic_dynamic_bytes_arg
• runtime::cheatcodes::read_abi_symbolic_dynamic_bytes_array_arg
• runtime::cheatcodes::read_abi_u32_arg
• runtime::cheatcodes::read_abi_u64_arg
• runtime::cheatcodes::read_abi_word_arg
• runtime::cheatcodes::recorded_logs_json_return_data
• runtime::cheatcodes::recorded_logs_return_data
• runtime::cheatcodes::selector_has_string_reason
• runtime::cheatcodes::selector_in
• runtime::cheatcodes::sign_compact_hash_words
• runtime::cheatcodes::sign_hash_words
• runtime::cheatcodes::storage_slots_abi_array
• runtime::cheatcodes::symbolic_vm_cheatcode_min_input_size
• runtime::evm::abi_word
• runtime::evm::abi_word_usize
• runtime::evm::analyze_jumpdests
• runtime::evm::byte_word
• runtime::evm::byte_word_dynamic
• runtime::evm::ensure_jumpdest
• runtime::evm::exp_expr_for_concrete_exponent
• runtime::evm::expr_known_byte
• runtime::evm::expr_known_word
• runtime::evm::failed_slot
• runtime::evm::is_assert_panic
• runtime::evm::is_assertion_revert
• runtime::evm::is_revert_assertion_failure
• runtime::evm::pow_mod
• runtime::evm::sar
• runtime::evm::sdiv
• runtime::evm::shift_left
• runtime::evm::signed_abs
• runtime::evm::signextend
• runtime::evm::signextend_word
• runtime::evm::signextend_word_dynamic
• runtime::evm::slt
• runtime::evm::smod
• runtime::expressions::bool_const_value
• runtime::expressions::bool_contains_gasleft
• runtime::expressions::bool_contains_keccak
• runtime::expressions::bool_forces_expr_const_with_context
• runtime::expressions::bool_upper_bound_usize
• runtime::expressions::calldata_prefix_condition
• runtime::expressions::compute_create2_address_word
• runtime::expressions::compute_create_address_word
• runtime::expressions::concrete_bytes
• runtime::expressions::context_forces_masked_expr
• runtime::expressions::create2_address_word
• runtime::expressions::eval_bool_expr
• runtime::expressions::eval_expr
• runtime::expressions::eval_expr_op
• runtime::expressions::eval_keccak_expr
• runtime::expressions::expr_add
• runtime::expressions::expr_const_value
• runtime::expressions::expr_contains_gasleft
• runtime::expressions::expr_contains_keccak
• runtime::expressions::expr_equality_forces_const
• runtime::expressions::expr_nonzero_forces_const
• runtime::expressions::extracted_byte_source
• runtime::expressions::function_mock_match_condition
• runtime::expressions::keccak_word
• runtime::expressions::keccak_word_with_len
• runtime::expressions::low_byte
• runtime::expressions::masked_expr_matches
• runtime::expressions::model_bytes
• runtime::expressions::model_word
• runtime::expressions::read_storage_writes
• runtime::expressions::storage_key_eq
• runtime::expressions::storage_layout_key
• runtime::expressions::storage_mapping_root_slot
• runtime::expressions::storage_select
• runtime::expressions::strip_low_byte_mask
• runtime::expressions::sym_add
• runtime::expressions::sym_sub
• runtime::expressions::symbolic_create2_address_word
• runtime::expressions::symbolic_create_address_word
• runtime::expressions::symbolic_hash_word_with_len
• runtime::expressions::u256_to_usize
• runtime::expressions::word_bytes
• runtime::expressions::word_from_bytes
• runtime::expressions::word_from_extracted_bytes
• runtime::memory::max_u256_expr
• runtime::memory::memory_size_after_access
• runtime::memory::memory_size_after_symbolic_access
• runtime::memory::symbolic_copy_size_byte
• runtime::precompiles::concrete_precompile_word_at
• runtime::precompiles::execute_precompile
• runtime::precompiles::execute_symbolic_precompile
• runtime::precompiles::input_has_symbolic_bytes
• runtime::precompiles::is_console
• runtime::precompiles::is_known_cheatcode
• runtime::precompiles::is_supported_precompile
• runtime::precompiles::precompile_address
• runtime::precompiles::precompile_number
• runtime::precompiles::symbolic_fixed_len_precompile_output
• runtime::precompiles::symbolic_modexp_precompile
• runtime::solver::cache_key_bool
• runtime::solver::cache_key_cmp
• runtime::solver::cache_key_expr
• runtime::solver::collect_cache_key_conjunct
• runtime::solver::constraint_cache_key
• runtime::solver::constraints_are_directly_unsat
• runtime::solver::expr_op_is_commutative
• runtime::solver::first_solver_line
• runtime::solver::format_solver_portfolio_summaries
• runtime::solver::hard_arith_fallback::bool_contains_hard_arith
• runtime::solver::hard_arith_fallback::bool_contains_symbolic_hash
• runtime::solver::hard_arith_fallback::bool_contains_var
• runtime::solver::hard_arith_fallback::collect_bool_constants
• runtime::solver::hard_arith_fallback::collect_bool_fallback_vars
• runtime::solver::hard_arith_fallback::collect_expr_constants
• runtime::solver::hard_arith_fallback::collect_expr_fallback_vars
• runtime::solver::hard_arith_fallback::constraints_prefer_hard_arith_fallback_first
• runtime::solver::hard_arith_fallback::expr_contains_hard_arith
• runtime::solver::hard_arith_fallback::expr_contains_symbolic_hash
• runtime::solver::hard_arith_fallback::expr_contains_var
• runtime::solver::hard_arith_fallback::fallback_candidates_for_var
• runtime::solver::hard_arith_fallback::fallback_model_satisfies_all_constraints
• runtime::solver::hard_arith_fallback::fallback_partial_model_satisfies_known_constraints
• runtime::solver::hard_arith_fallback::fallback_search_vars
• runtime::solver::hard_arith_fallback::hard_arith_fallback_model
• runtime::solver::hard_arith_fallback::push_fallback_candidate
• runtime::solver::hard_arith_fallback::zero_mask_equality
• runtime::solver::join_pipe_output
• runtime::solver::kill_and_reap_solver_process
• runtime::solver::merge_counts
• runtime::solver::model_satisfies_constraints
• runtime::solver::monotonic_product::collect_order_facts
• runtime::solver::monotonic_product::mul_operands
• runtime::solver::monotonic_product::product_less_than_known
• runtime::solver::monotonic_product::product_less_than_known_ordered
• runtime::solver::monotonic_product::product_less_than_negation
• runtime::solver::monotonic_product::product_monotonic_unsat_normalized
• runtime::solver::named_solver_command
• runtime::solver::next_portfolio_launch_wait
• runtime::solver::normalize::add_cannot_overflow_256
• runtime::solver::normalize::add_overflow_check
• runtime::solver::normalize::add_with_operand
• runtime::solver::normalize::bool_contains_udiv
• runtime::solver::normalize::bool_from_word_expr
• runtime::solver::normalize::collect_normalized_conjunct
• runtime::solver::normalize::collect_or_terms
• runtime::solver::normalize::expr_contains_udiv
• runtime::solver::normalize::expr_unsigned_bits
• runtime::solver::normalize::extracted_shifted_byte_term
• runtime::solver::normalize::extracted_unshifted_byte_source
• runtime::solver::normalize::guarded_self_div_word_condition
• runtime::solver::normalize::mul_cannot_overflow_256
• runtime::solver::normalize::normalize_add_overflow_cmp_for_solver
• runtime::solver::normalize::normalize_bool_for_solver
• runtime::solver::normalize::normalize_constraint_batch
• runtime::solver::normalize::normalize_constraints_for_solver
• runtime::solver::normalize::normalize_expr_eq_zero_for_solver
• runtime::solver::normalize::normalize_expr_for_solver
• runtime::solver::normalize::normalize_expr_ne_zero_for_solver
• runtime::solver::normalize::normalize_ite_expr_for_solver
• runtime::solver::normalize::normalize_udiv_bool_for_solver
• runtime::solver::normalize::normalize_udiv_cmp_for_solver
• runtime::solver::normalize::normalize_udiv_eq_zero
• runtime::solver::normalize::rebuild_word_from_extracted_byte_terms
• runtime::solver::normalize::self_div_expr_matches_zero_check
• runtime::solver::normalize::udiv_nonzero_condition
• runtime::solver::normalize::udiv_operands
• runtime::solver::normalize::udiv_zero_condition
• runtime::solver::normalize::word_bool_always_true
• runtime::solver::normalize::word_bool_term
• runtime::solver::normalize::word_from_bool_expr
• runtime::solver::normalize::zero_check_operand
• runtime::solver::parse_and_validate_model
• runtime::solver::parse_model
• runtime::solver::portfolio_launch_delay
• runtime::solver::read_pipe_to_string
• runtime::solver::run_solver_commands
• runtime::solver::run_solver_process
• runtime::solver::scheduled_portfolio
• runtime::solver::solver_command_availability_error
• runtime::solver::solver_command_for_portfolio_entry
• runtime::solver::solver_commands_for_config
• runtime::solver::solver_exit_error
• runtime::solver::solver_output_is_sat
• runtime::solver::solver_output_is_unknown
• runtime::solver::solver_output_is_unsat
• runtime::solver::solver_portfolio_availability_warning
• runtime::solver::sorted_bool_exprs_are_subset
• runtime::solver::split_solver_command
• runtime::solver::summary_for_cancelled_solver_result
• runtime::solver::summary_for_unstarted_solver
• runtime::solver::validate_solver_model_output
• runtime::solver::validated_hard_arith_fallback_model
• runtime::state::adjust_expected_call_gas_for_value
• runtime::state::collect_eval_bool_vars
• runtime::state::collect_eval_vars
• runtime::state::push_unique_slot
• selector_for
• symbolic_solver_is_builtin
• symbolic_solver_portfolio_availability_warning

Type Aliases

• runtime::solver::QueryObserver

Constants

• BUILTIN_SYMBOLIC_SOLVERS
• consts::ABI_SELECTOR_PLUS_WORD_LEN
• consts::ASSERTION_FAILED_PREFIX
• consts::ASSERT_PANIC_CODE
• consts::BUILTIN_SYMBOLIC_SOLVERS
• consts::CALL_VALUE_STIPEND
• consts::CONCRETE_BASE_SYMBOLIC_EXPONENT_LIMIT
• consts::DEFAULT_DERIVATION_PATH_PREFIX
• consts::ERROR_DATA_MIN_LEN
• consts::ERROR_SELECTOR
• consts::EVM_STACK_LIMIT
• consts::HARD_ARITH_FALLBACK_MAX_ASSIGNMENTS
• consts::HARD_ARITH_FALLBACK_MAX_CANDIDATES_PER_VAR
• consts::HARD_ARITH_FALLBACK_MAX_VARS
• consts::INITIAL_SOLVER_POLL_BACKOFF
• consts::MAX_REMEMBER_KEYS
• consts::MAX_SOLVER_POLL_BACKOFF
• consts::PANIC_SELECTOR
• consts::PORTFOLIO_SCHEDULER_HISTORY
• consts::PORTFOLIO_SCHEDULER_MAX_SPEED_BONUS
• consts::PORTFOLIO_SCHEDULER_MIN_RECENCY_WEIGHT
• consts::PORTFOLIO_SCHEDULER_SPEED_BONUS_CAP_MS
• consts::PRECOMPILE_ADDRESS_LEADING_ZEROS
• consts::RESCUE_PORTFOLIO_SOLVER_DELAY
• consts::SECOND_PORTFOLIO_SOLVER_DELAY
• consts::SYMBOLIC_EXP_CONCRETE_EXPONENT_LIMIT
• consts::SYMBOLIC_SOLVER_MODEL_CACHE_MAX_ENTRIES
• consts::SYMBOLIC_SOLVER_SAT_CACHE_MAX_ENTRIES
• consts::SYMBOLIC_VM_COMPAT_ADDRESS