Struct PathState 

pub(crate) struct PathState {

    pub(crate) depth: usize,
    pub(crate) call_depth: usize,
    pub(crate) origin: Address,
    pub(crate) origin_word: SymWord,
    pub(crate) gas_price: SymWord,
    pub(crate) ffi_enabled: bool,
    pub(crate) block: SymbolicBlock,
    pub(crate) frame: CallFrame,
    pub(crate) world: SymbolicWorld,
    pub(crate) prank: SymbolicPrank,
    pub(crate) constraints: Vec<BoolExpr>,
    pub(crate) next_symbol: usize,
    pub(crate) recorded_logs: Option<Vec<SymbolicLog>>,
    pub(crate) access_record: Option<AccessRecord>,
    pub(crate) root_calldata: Option<SymbolicCalldata>,
    pub(crate) loop_jumps: BTreeMap<usize, u32>,
    pub(crate) expected_revert: Option<ExpectedRevert>,
    pub(crate) assume_no_revert_next_call: Option<AssumeNoRevert>,
    pub(crate) expected_emit: Option<ExpectedEmit>,
    pub(crate) expected_calls: Vec<ExpectedCall>,
    pub(crate) expected_creates: Vec<ExpectedCreate>,
    pub(crate) call_mocks: Vec<CallMock>,
    pub(crate) function_mocks: Vec<FunctionMock>,
    pub(crate) persistent_accounts: BTreeSet<Address>,
    pub(crate) wallets: BTreeSet<Address>,
    pub(crate) labels: BTreeMap<Address, String>,
}

Fields

depth: usize

call_depth: usize

origin: Address

origin_word: SymWord

gas_price: SymWord

ffi_enabled: bool

block: SymbolicBlock

frame: CallFrame

world: SymbolicWorld

prank: SymbolicPrank

constraints: Vec<BoolExpr>

next_symbol: usize

recorded_logs: Option<Vec<SymbolicLog>>

access_record: Option<AccessRecord>

root_calldata: Option<SymbolicCalldata>

loop_jumps: BTreeMap<usize, u32>

expected_revert: Option<ExpectedRevert>

assume_no_revert_next_call: Option<AssumeNoRevert>

expected_emit: Option<ExpectedEmit>

expected_calls: Vec<ExpectedCall>

expected_creates: Vec<ExpectedCreate>

call_mocks: Vec<CallMock>

function_mocks: Vec<FunctionMock>

persistent_accounts: BTreeSet<Address>

wallets: BTreeSet<Address>

labels: BTreeMap<Address, String>

Implementations

impl PathState

pub(crate) fn new( address: Address, caller: Address, callvalue: U256, calldata: SymbolicCalldata, ffi_enabled: bool, ) -> Self

Constructs a new instance.

pub(crate) fn empty( address: Address, caller: Address, ffi_enabled: bool, ) -> Self

Implements the empty symbolic state helper.

pub(crate) fn apply_executor_env<FEN: FoundryEvmNetwork>( &mut self, executor: &Executor<FEN>, )

Applies the apply_executor_env symbolic state helper.

pub(crate) fn child(&self, frame: CallFrame) -> Self

Implements the child symbolic state helper.

pub(crate) fn constrained_usize(&self, word: &SymWord) -> Option<usize>

Implements the constrained_usize symbolic state helper.

pub(crate) fn upper_bound_usize(&self, word: &SymWord) -> Option<usize>

Implements the upper_bound_usize symbolic state helper.

pub(crate) fn constrained_word(&self, word: &SymWord) -> Option<U256>

Implements the constrained_word symbolic state helper.

pub(crate) fn constrained_expr_value(&self, expr: &Expr) -> Option<U256>

Implements the constrained_expr_value symbolic state helper.

pub(crate) fn expr_upper_bound_usize(&self, expr: &Expr) -> Option<usize>

Returns the expr_upper_bound_usize symbolic state helper result.

pub(crate) fn constraint_upper_bound_usize(&self, expr: &Expr) -> Option<usize>

Implements the constraint_upper_bound_usize symbolic state helper.

pub(crate) fn expect_constrained_usize( &self, word: SymWord, reason: &'static str, ) -> Result<usize, SymbolicError>

Implements the expect_constrained_usize symbolic state helper.

pub(crate) fn expect_constrained_word( &self, word: SymWord, reason: &'static str, ) -> Result<U256, SymbolicError>

Implements the expect_constrained_word symbolic state helper.

pub(crate) fn bin_word( &mut self, concrete: impl FnOnce(U256, U256) -> U256, op: ExprOp, ) -> Result<StepOutcome, SymbolicError>

Implements the bin_word symbolic state helper.

pub(crate) fn bin_word_div_zero_guard( &mut self, concrete: impl FnOnce(U256, U256) -> U256, op: ExprOp, ) -> Result<StepOutcome, SymbolicError>

Implements the bin_word_div_zero_guard symbolic state helper.

pub(crate) fn cmp_word( &mut self, concrete: impl FnOnce(U256, U256) -> bool, op: BoolExprOp, ) -> Result<StepOutcome, SymbolicError>

Implements the cmp_word symbolic state helper.

pub(crate) fn shift_word( &mut self, kind: ShiftKind, ) -> Result<StepOutcome, SymbolicError>

Computes the shift_word symbolic state helper result.

pub(crate) fn exp_word(&mut self) -> Result<StepOutcome, SymbolicError>

Computes the exp_word symbolic state helper result.

pub(crate) fn balance<FEN: FoundryEvmNetwork>( &self, executor: &Executor<FEN>, address: Address, ) -> SymWord

Implements the balance symbolic state helper.

pub(crate) fn balance_word<FEN: FoundryEvmNetwork>( &mut self, executor: &Executor<FEN>, word: SymWord, ) -> Result<SymWord, SymbolicError>

Implements the balance_word symbolic state helper.

pub(crate) fn extcode_size_word<FEN: FoundryEvmNetwork>( &mut self, executor: &Executor<FEN>, word: SymWord, ) -> Result<SymWord, SymbolicError>

Implements the extcode_size_word symbolic state helper.

pub(crate) fn extcode_hash_word<FEN: FoundryEvmNetwork>( &mut self, executor: &Executor<FEN>, word: SymWord, ) -> Result<SymWord, SymbolicError>

Implements the extcode_hash_word symbolic state helper.

pub(crate) fn extcode_bytes_word<FEN: FoundryEvmNetwork>( &mut self, executor: &Executor<FEN>, word: SymWord, offset: SymWord, size: usize, ) -> Result<Vec<SymWord>, SymbolicError>

Implements the extcode_bytes_word symbolic state helper.

pub(crate) fn pop_address_or_symbolic_slot( &mut self, ) -> Result<Address, SymbolicError>

Implements the pop_address_or_symbolic_slot symbolic state helper.

pub(crate) fn address_or_symbolic_slot(&mut self, word: SymWord) -> Address

Returns the address_or_symbolic_slot symbolic state helper result.

pub(crate) fn fresh_word(&mut self, prefix: &'static str) -> SymWord

Implements the fresh_word symbolic state helper.

pub(crate) const fn fresh_gasleft(&mut self) -> SymWord

Implements the fresh_gasleft symbolic state helper.

pub(crate) fn fresh_bounded_uint(&mut self, bits: U256) -> SymWord

Implements the fresh_bounded_uint symbolic state helper.

pub(crate) fn fresh_bounded_int(&mut self, bits: U256) -> SymWord

Implements the fresh_bounded_int symbolic state helper.

pub(crate) fn prank_for_next_call( &mut self, ) -> (Address, SymWord, Option<(Address, SymWord)>)

Implements the prank_for_next_call symbolic state helper.

pub(crate) fn read_callers_words(&self) -> Vec<SymWord>

Returns the read_callers_words symbolic state helper result.

pub(crate) fn record_log(&mut self, log: SymbolicLog)

Applies the record_log symbolic state helper.

pub(crate) fn record_sload(&mut self, address: Address, slot: SymWord)

Applies the record_sload symbolic state helper.

pub(crate) fn record_sstore(&mut self, address: Address, slot: SymWord)

Applies the record_sstore symbolic state helper.

pub(crate) fn expectations_satisfied(&self) -> bool

Returns whether expectations_satisfied holds.

Trait Implementations

impl Clone for PathState

fn clone(&self) -> PathState

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PathState

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Deref for PathState

fn deref(&self) -> &Self::Target

Implements the deref symbolic state helper.

type Target = CallFrame

The resulting type after dereferencing.

impl DerefMut for PathState

fn deref_mut(&mut self) -> &mut Self::Target

Implements the deref_mut symbolic state helper.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 2616 bytes