Module runtime 

Re-exports

use super::abi::*; 🔒

use super::*; 🔒

Modules

address 🔒

bool 🔒

bytes 🔒

calldata 🔒

cheatcodes 🔒

control 🔒

cx 🔒

evm 🔒

executor_view 🔒

expr 🔒

hashcons 🔒

memory 🔒

precompiles 🔒

solver 🔒

Solver orchestration, query scheduling, caching, and model validation.

state 🔒

symbols 🔒

word 🔒

Structs

AccessRecord 🔒

CallFrame 🔒

CallMock 🔒

CallMockOutcome 🔒

ExecutorView

Network-independent, read-only view of a concrete Foundry executor.

ExpectedCall 🔒

ExpectedCreate 🔒

ExpectedEmit 🔒

ExpectedEmitChecks 🔒

ExpectedRevert 🔒

ExpressionDigests 🔒

Structural digests that identify expressions in stable symbol names.

ExpressionFoldCache 🔒

Results from one deterministic bottom-up expression fold.

FunctionMock 🔒

ModelEvaluator 🔒

Evaluates hash-consed expressions once per model.

NoopModel 🔒

PathState 🔒

SmtLibSubprocessSolver 🔒

StorageMappingKey 🔒

StorageWrite 🔒

SymBoolExpr 🔒

SymBytes 🔒

SymCalldata 🔒

SymCode 🔒

SymCx 🔒

SymCxCache 🔒

SymExpr 🔒

SymMemory 🔒

SymReturnData 🔒

SymStack 🔒

Symbol 🔒

SymbolicBlock 🔒

SymbolicBranchTarget

One comparison site from a fuzz branch frontier to target during symbolic execution.

SymbolicLog 🔒

SymbolicMappingProvenance 🔒

SymbolicMemoryWrite 🔒

SymbolicPrank 🔒

SymbolicReplayStorageSlot 🔒

SymbolicRunInput

SymbolicStorageHook 🔒

SymbolicWorld 🔒

SymbolicWorldState 🔒

World data shared copy-on-write by branched paths and snapshots.

UnfoldedNodeCounter 🔒

Enums

AssumeNoRevert 🔒

BoundedCopySize 🔒

BranchFeasibility 🔒

CallKind 🔒

CheatcodeOutcome 🔒

CreateKind 🔒

DigestNode 🔒

ExpectedRevertData 🔒

GuardedOpcode 🔒

StepOutcome 🔒

SymBinOp 🔒

SymBoolExprKind 🔒

SymBytesKind 🔒

SymCmpOp 🔒

SymExprKind 🔒

SymTernOp 🔒

SymbolicError

Error returned by the internal symbolic executor.

Constants

MAX_BITWISE_BOOL_WORD_VISITS 🔒

MAX_BOUND_ANALYSIS_VISITS 🔒

MAX_BRANCHLESS_REWRITE_NODES 🔒

MAX_BRANCHLESS_REWRITE_UNFOLDED_NODES 🔒

MAX_CONSTANT_DIFFERENCE_VISITS 🔒

MAX_CONSTANT_ITE_EQ_NODES 🔒

Bounds both the number of distinct word nodes inspected by constant-ITE equality expansion and the unfolded size of the Boolean expression it could produce.

MAX_CONSTANT_ITE_EQ_UNFOLDED_NODES 🔒

Traits

SymbolicModelLookup 🔒

Functions

abi_bytes_return 🔒

abi_bytes_return_with_len 🔒

abi_concrete_bytes_return 🔒

abi_concrete_value_return 🔒

abi_static_input_size 🔒

accesses_return_data 🔒

active_precompiles 🔒

Returns the canonical precompiles active under spec_id.

address_word 🔒

artifact_code 🔒

artifact_json_fallback_paths 🔒

Returns fallback paths for symbolic artifact lookup.

artifact_json_path 🔒

byte_expr 🔒

Returns the byte extraction expression for a symbolic word.

byte_word 🔒

byte_word_dynamic 🔒

cheatcode_error_revert_condition 🔒

complete_cheatcode_call 🔒

compute_create2_address_word 🔒

compute_create_address_word 🔒

concrete_expr_bytes 🔒

concrete_precompile_word_at 🔒

context_forces_masked_expr 🔒

create2_address_word 🔒

decode_cheatcode_args 🔒

deployer_identity 🔒

Identifies a deployer in a stable address symbol name.

derive_private_key 🔒

derive_private_key_with_language 🔒

dyn_address 🔒

dyn_address_array 🔒

dyn_bool 🔒

dyn_bytes 🔒

dyn_bytes32_array 🔒

dyn_potential_revert 🔒

dyn_potential_reverts 🔒

dyn_string 🔒

dyn_string_array 🔒

error_string_return_data 🔒

eval_model_constraints 🔒

execute_precompile 🔒

Executes a canonical precompile on concrete input with effectively unlimited gas.

execute_symbolic_precompile 🔒

exp_expr_for_concrete_exponent 🔒

foundry_cheatcode_min_input_size 🔒

hex_nibble_ascii 🔒

is_assertion_revert 🔒

is_full_word_array_assertion 🔒

is_precompile_for_spec 🔒

Returns whether address is a canonical precompile active under spec_id.

is_revert_assertion_failure 🔒

keccak_word 🔒

keccak_word_with_len 🔒

low_masked_source 🔒

low_masked_source_any 🔒

mask_bits 🔒

mask_low_bits 🔒

masked_expr_matches 🔒

parse_env_address 🔒

parse_env_array 🔒

parse_env_bool 🔒

parse_env_bytes 🔒

parse_env_bytes32 🔒

parse_env_int 🔒

parse_env_uint 🔒

parse_env_value 🔒

power_of_two_shift 🔒

precompile_number 🔒

precompile_number_for_spec 🔒

private_key_address 🔒

private_key_signer 🔒

push_ascii 🔒

push_hex_byte 🔒

push_hex_word 🔒

read_abi_address_arg 🔒

read_abi_address_or_symbolic_slot_arg 🔒

read_abi_address_word_or_symbolic_slot_arg 🔒

read_abi_bool_arg 🔒

read_abi_bytes4_words_arg 🔒

read_abi_concrete_word_arg 🔒

read_abi_constrained_address_arg 🔒

read_abi_constrained_word_arg 🔒

read_abi_dynamic_bytes_arg 🔒

read_abi_dynamic_return_data_arg 🔒

read_abi_string_arg 🔒

read_abi_symbolic_dynamic_byte_exprs_arg 🔒

read_abi_symbolic_dynamic_bytes_arg 🔒

read_abi_symbolic_dynamic_bytes_array_arg 🔒

read_abi_u32_arg 🔒

read_abi_u64_arg 🔒

read_abi_word_arg 🔒

recorded_logs_json_return_data 🔒

recorded_logs_return_data 🔒

register_expected_call 🔒

Registers an expected call using the concrete cheatcode’s keyed-additive semantics.

shift_left 🔒

sign_compact_hash_words 🔒

sign_hash_words 🔒

signextend 🔒

signextend_word 🔒

signextend_word_dynamic 🔒

stable_symbol 🔒

storage_mapping_key_eq 🔒

storage_slots_abi_array 🔒

symbolic_create2_address_word 🔒

symbolic_create_address_word 🔒

symbolic_fixed_len_precompile_output 🔒

symbolic_hash_word_with_len 🔒

symbolic_modexp_precompile 🔒

symbolic_storage_symbol 🔒

symbolic_vm_cheatcode_min_input_size 🔒

visit_unique 🔒

Visits reachable word nodes in depth-first, left-to-right order until the visitor breaks.

vm_params 🔒

Returns the parameter types of a Vm cheatcode from its generated ABI signature.

word_from_extracted_bytes 🔒

word_to_address 🔒

write_smt_wide_modular_arithmetic 🔒

Type Aliases

SymbolicModel 🔒

SymbolicVars 🔒