Skip to main content Module literals Copy item path Source use alloy_dyn_abi::DynSolType; 🔒 use alloy_primitives::B256; 🔒 use alloy_primitives::Bytes; 🔒 use alloy_primitives::I256; 🔒 use alloy_primitives::U256; 🔒 use alloy_primitives::keccak256; 🔒 use alloy_primitives::map::B256IndexSet; 🔒 use alloy_primitives::map::HashMap; 🔒 use alloy_primitives::map::IndexSet; 🔒 use foundry_common::Analysis ; 🔒 use foundry_compilers::ProjectPathsConfig; 🔒 use solar::ast; 🔒 use solar::ast::BinOpKind::Add; 🔒 use solar::ast::BinOpKind::BitAnd; 🔒 use solar::ast::BinOpKind::BitOr; 🔒 use solar::ast::BinOpKind::BitXor; 🔒 use solar::ast::BinOpKind::Div; 🔒 use solar::ast::BinOpKind::Mul; 🔒 use solar::ast::BinOpKind::Pow; 🔒 use solar::ast::BinOpKind::Rem; 🔒 use solar::ast::BinOpKind::Shl; 🔒 use solar::ast::BinOpKind::Shr; 🔒 use solar::ast::BinOpKind::Sub; 🔒 use solar::ast::Visit; 🔒 use solar::interface::Span; 🔒 use solar::interface::source_map::FileName; 🔒 use std::cell::RefCell ; 🔒 use std::ops::ControlFlow ; 🔒 use std::sync::Arc ; 🔒 use std::sync::OnceLock ; 🔒 EnumBounds Maps Solidity enum definitions to their variant counts, used to constrain fuzzed enum inputs
to valid values (the ABI encodes enums as uint8 without carrying the variant count). EnumBoundsCollector 🔒 AST visitor that records enum variant counts, tracking the enclosing contract to build
fully-qualified keys. LiteralMaps LiteralsCollector LiteralsDictionary Num 🔒 A folded constant value. Opportunistic 256-bit heuristic, not a Solidity-correct folder. MAX_FOLD_DEPTH 🔒 Maximum nesting depth LiteralsCollector::eval apply_bin 🔒 Applies a binary operator to two folded numeric values, carrying the result width so narrow
operands produce in-range results. can_fit_int 🔒 Checks if a signed integer value can fit in intN type. can_fit_uint 🔒 Checks if an unsigned integer value can fit in uintN type. cast_num 🔒 Reinterprets a folded value for an elementary type cast used inside a larger expression,
applying the target width so truncation and sign-extension are correct (e.g.
int256(uint256(type(uint256).max)) -> -1). cast_to_bytes 🔒 Casts a folded value to bytesN, keeping the value right-aligned in Num::Bytes. checked_arith 🔒 Resolves a default-checked unsigned arithmetic result. combine_width 🔒 Combines the widths of two operands: an untyped operand (None) inherits the other’s width;
two explicit widths pick the wider. lit_bytes 🔒 Extracts the raw bytes of a string, unicode, or hex string literal argument, borrowing them
directly from the interner to avoid allocating (and re-hashing) on every fold. low_bits 🔒 Returns the low bits of value, zeroing everything above. shift_amount 🔒 Returns the shift amount as a usize, or None if it is >= 256 (which shifts out all bits). sign_extend 🔒 Sign-extends the low width bits of raw to a full 256-bit two’s-complement value. signed_pow 🔒 Folds a signed base ** exp, returning None on a negative exponent or a magnitude that
doesn’t fit the signed range (overflow ~ compile error). single_arg 🔒 Returns the single positional argument of a call, if it has exactly one. type_min_max 🔒 Folds type(uintN).max, type(intN).min, and type(intN).max (and type(uintN).min == 0).