Crate foundry_evm_symbolic 

Foundry’s symbolic EVM executor.

Re-exports

pub(crate) use std::collections::VecDeque; 🔒

pub(crate) use std::fmt; 🔒

pub(crate) use std::fmt::Write as _; 🔒

pub(crate) use std::io::Write; 🔒

pub(crate) use std::ops::ControlFlow; 🔒

pub(crate) use std::ops::Deref; 🔒

pub(crate) use std::ops::DerefMut; 🔒

pub(crate) use std::path::Path; 🔒

pub(crate) use std::path::PathBuf; 🔒

pub(crate) use std::process::Command; 🔒

pub(crate) use std::process::Stdio; 🔒

pub(crate) use std::sync::Arc; 🔒

pub(crate) use std::sync::atomic::AtomicBool; 🔒

pub(crate) use std::sync::atomic::Ordering; 🔒

pub(crate) use std::sync::mpsc; 🔒

pub(crate) use std::thread; 🔒

pub(crate) use std::time::Duration; 🔒

pub(crate) use std::time::Instant; 🔒

pub(crate) use std::time::SystemTime; 🔒

pub(crate) use std::time::UNIX_EPOCH; 🔒

pub(crate) use DynSolType; 🔒

pub(crate) use DynSolValue; 🔒

pub(crate) use JsonAbiExt; 🔒

pub(crate) use alloy_json_abi::Function; 🔒

pub(crate) use Address; 🔒

pub(crate) use B256; 🔒

pub(crate) use Bytes; 🔒

pub(crate) use I256; 🔒

pub(crate) use Keccak256; 🔒

pub(crate) use U256; 🔒

pub(crate) use hex; 🔒

pub(crate) use hex; 🔒

pub(crate) use keccak256; 🔒

pub(crate) use HashMap; 🔒

pub(crate) use HashSet; 🔒

pub(crate) use IndexSet; 🔒

pub(crate) use alloy_signer::SignerSync; 🔒

pub(crate) use PrivateKeySigner; 🔒

pub(crate) use English; 🔒

pub(crate) use Wordlist; 🔒

pub(crate) use alloy_sol_types::SolCall; 🔒

pub(crate) use SymbolicVm; 🔒

pub(crate) use Vm; 🔒

pub(crate) use SymbolicConfig; 🔒

pub(crate) use SymbolicExplorationOrder; 🔒

pub(crate) use SymbolicStorageLayout; 🔒

pub(crate) use CALLER; 🔒

pub(crate) use CHEATCODE_ADDRESS; 🔒

pub(crate) use DEFAULT_CREATE2_DEPLOYER; 🔒

pub(crate) use HARDHAT_CONSOLE_ADDRESS; 🔒

pub(crate) use backend::DatabaseExt; 🔒

pub(crate) use evm::FoundryEvmNetwork; 🔒

pub(crate) use executors::Executor; 🔒

pub(crate) use Bytecode; 🔒

pub(crate) use JumpTable; 🔒

pub(crate) use eip7702::EIP7702_BYTECODE_LEN; 🔒

pub(crate) use opcode; 🔒

pub(crate) use Block; 🔒

pub(crate) use Cfg; 🔒

pub(crate) use Transaction; 🔒

pub(crate) use database::DatabaseRef; 🔒

pub(crate) use PrecompileSpecId; 🔒

pub(crate) use Precompiles; 🔒

pub(crate) use kzg_point_evaluation; 🔒

pub(crate) use primitives::hardfork::SpecId; 🔒

pub(crate) use Deserialize; 🔒

pub(crate) use Deserialize; 🔒

pub(crate) use Serialize; 🔒

pub(crate) use Serialize; 🔒

pub(crate) use collections::VecDeque; 🔒

pub(crate) use self; 🔒

pub(crate) use io::Write; 🔒

pub(crate) use ControlFlow; 🔒

pub(crate) use Deref; 🔒

pub(crate) use DerefMut; 🔒

pub(crate) use Path; 🔒

pub(crate) use PathBuf; 🔒

pub(crate) use Command; 🔒

pub(crate) use Stdio; 🔒

pub(crate) use Arc; 🔒

pub(crate) use AtomicBool; 🔒

pub(crate) use Ordering; 🔒

pub(crate) use mpsc; 🔒

pub(crate) use thread; 🔒

pub(crate) use Duration; 🔒

pub(crate) use Instant; 🔒

pub(crate) use SystemTime; 🔒

pub(crate) use UNIX_EPOCH; 🔒

pub(crate) use thiserror::Error; 🔒

pub(crate) use debug; 🔒

pub(crate) use trace; 🔒

pub(crate) use trace_span; 🔒

pub(crate) use warn; 🔒

pub(crate) use base64::prelude::*; 🔒

Modules

abi 🔒

consts 🔒

executor 🔒

runtime 🔒

Structs

ExecutorView

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

SymbolicBranchTarget

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

SymbolicBranchTargetSearchResult

Result of best-effort symbolic exploration toward one branch target.

SymbolicConcreteInput

One concrete symbolic input materialized from a solver model.

SymbolicExecutor

SMT-LIB-backed symbolic executor.

SymbolicInvariantCandidate

One unconfirmed symbolic input produced by invariant candidate search.

SymbolicInvariantCandidateInput

Input for best-effort invariant candidate search after one symbolic handler call.

SymbolicInvariantCandidateSearchResult

Result of best-effort invariant candidate search after one symbolic handler call.

SymbolicInvariantRunInput

Input for bounded symbolic invariant execution.

SymbolicInvariantSearchLimitation

An execution or solver limitation encountered during best-effort candidate search.

SymbolicInvariantStep

One concrete step in a symbolic invariant counterexample sequence.

SymbolicInvariantTarget

A concrete invariant target selected from Foundry’s invariant discovery.

SymbolicRunInput

SymbolicStats

Symbolic execution counters.

SymbolicStorageAssignment

One concrete storage value required to replay a symbolic invariant candidate.

Enums

DeferredIncomplete 🔒

DeferredPathMode 🔒

SymbolicError

Error returned by the internal symbolic executor.

SymbolicInvariantCounterexampleKind

Part of a symbolic invariant run that produced a replayable counterexample.

SymbolicInvariantRunResult

Outcome of bounded symbolic invariant execution.

SymbolicRunResult

Outcome of a symbolic test execution.

SymbolicStopReason

High-level reason a symbolic run stopped without a proof or replayed counterexample.

SymbolicVmCheatcode 🔒

Constants

CONCRETE_BASE_SYMBOLIC_EXPONENT_LIMIT 🔒

DEFAULT_DERIVATION_PATH_PREFIX 🔒

ERROR_DATA_MIN_LEN 🔒

FALLBACK_MODEL_MAX_ASSIGNMENTS 🔒

FALLBACK_MODEL_MAX_CANDIDATES_PER_VAR 🔒

FALLBACK_MODEL_MAX_VARS 🔒

HARD_ARITH_FALLBACK_MAX_ASSIGNMENTS 🔒

HARD_ARITH_FALLBACK_MAX_VARS 🔒

MAX_REMEMBER_KEYS 🔒

PORTFOLIO_SCHEDULER_HISTORY 🔒

PORTFOLIO_SCHEDULER_MAX_SPEED_BONUS 🔒

PORTFOLIO_SCHEDULER_MIN_RECENCY_WEIGHT 🔒

PORTFOLIO_SCHEDULER_SPEED_BONUS_CAP_MS 🔒

PRECOMPILE_ADDRESS_LEADING_ZEROS 🔒

RESCUE_PORTFOLIO_SOLVER_DELAY 🔒

SECOND_PORTFOLIO_SOLVER_DELAY 🔒

SOLVER_CANCEL_CHECK_INTERVAL 🔒

SYMBOLIC_EXP_CONCRETE_EXPONENT_LIMIT 🔒

SYMBOLIC_SOLVER_MODEL_CACHE_MAX_ENTRIES 🔒

SYMBOLIC_SOLVER_SAT_CACHE_MAX_ENTRIES 🔒

SYMBOLIC_VM_COMPAT_ADDRESS 🔒