List of all items
Structs
- analysis::ConcreteMemory
- analysis::ConcreteStack
- analysis::ConcreteState
- analysis::Dependencies
- analysis::UnknownMemory
- analysis::UnknownStorage
- bytecode::Assembly
- bytecode::BlockIterator
- bytecode::BlockVec
- bytecode::Builder
- bytecode::ByteOffsetIterator
- fork::EIP
- fork::Fork
- il::Compiler
- il::Parser
- util::ByteDecoder
- util::ByteEncoder
- util::Digraph
- util::DigraphIterator
- util::Interval
- util::IntervalStack
- util::SortedVec
Enums
- analysis::aw256
- analysis::cw256
- bytecode::DecodingError
- bytecode::Instruction
- bytecode::ParseError
- bytecode::StructuredSection
- il::BinOp
- il::CompilerError
- il::Region
- il::Term
Traits
- analysis::EvmMemory
- analysis::EvmStack
- analysis::EvmState
- analysis::EvmStateSet
- analysis::EvmStorage
- analysis::EvmWord
- bytecode::Assemble
- bytecode::Disassemble
- util::Bottom
- util::Concretizable
- util::FromHexString
- util::IsBottom
- util::IsTop
- util::Join
- util::JoinInto
- util::JoinLattice
- util::JoinSemiLattice
- util::Max
- util::Min
- util::OverflowingAdd
- util::OverflowingSub
- util::Seq
- util::SubsliceOffset
- util::ToHexString
- util::Top
Functions
- analysis::find_dependencies
- analysis::find_reachable
- analysis::insert_havocs
- analysis::trace
- util::dominators
- util::from_be_bytes
- util::from_be_digits
- util::to_be_bytes
- util::transitive_closure
Type Aliases
Constants
- bytecode::opcode::ADD
- bytecode::opcode::ADDMOD
- bytecode::opcode::ADDRESS
- bytecode::opcode::AND
- bytecode::opcode::BALANCE
- bytecode::opcode::BLOCKHASH
- bytecode::opcode::BYTE
- bytecode::opcode::CALL
- bytecode::opcode::CALLCODE
- bytecode::opcode::CALLDATACOPY
- bytecode::opcode::CALLDATALOAD
- bytecode::opcode::CALLDATASIZE
- bytecode::opcode::CALLER
- bytecode::opcode::CALLVALUE
- bytecode::opcode::CHAINID
- bytecode::opcode::CODECOPY
- bytecode::opcode::CODESIZE
- bytecode::opcode::COINBASE
- bytecode::opcode::CREATE
- bytecode::opcode::CREATE2
- bytecode::opcode::DELEGATECALL
- bytecode::opcode::DIFFICULTY
- bytecode::opcode::DIV
- bytecode::opcode::DUP1
- bytecode::opcode::DUP10
- bytecode::opcode::DUP11
- bytecode::opcode::DUP12
- bytecode::opcode::DUP13
- bytecode::opcode::DUP14
- bytecode::opcode::DUP15
- bytecode::opcode::DUP16
- bytecode::opcode::DUP2
- bytecode::opcode::DUP3
- bytecode::opcode::DUP4
- bytecode::opcode::DUP5
- bytecode::opcode::DUP6
- bytecode::opcode::DUP7
- bytecode::opcode::DUP8
- bytecode::opcode::DUP9
- bytecode::opcode::EOF
- bytecode::opcode::EQ
- bytecode::opcode::EXP
- bytecode::opcode::EXTCODECOPY
- bytecode::opcode::EXTCODEHASH
- bytecode::opcode::EXTCODESIZE
- bytecode::opcode::GAS
- bytecode::opcode::GASLIMIT
- bytecode::opcode::GASPRICE
- bytecode::opcode::GT
- bytecode::opcode::INVALID
- bytecode::opcode::ISZERO
- bytecode::opcode::JUMP
- bytecode::opcode::JUMPDEST
- bytecode::opcode::JUMPI
- bytecode::opcode::KECCAK256
- bytecode::opcode::LOG0
- bytecode::opcode::LOG1
- bytecode::opcode::LOG2
- bytecode::opcode::LOG3
- bytecode::opcode::LOG4
- bytecode::opcode::LT
- bytecode::opcode::MLOAD
- bytecode::opcode::MOD
- bytecode::opcode::MSIZE
- bytecode::opcode::MSTORE
- bytecode::opcode::MSTORE8
- bytecode::opcode::MUL
- bytecode::opcode::MULMOD
- bytecode::opcode::NOT
- bytecode::opcode::NUMBER
- bytecode::opcode::OR
- bytecode::opcode::ORIGIN
- bytecode::opcode::PC
- bytecode::opcode::POP
- bytecode::opcode::PUSH0
- bytecode::opcode::PUSH1
- bytecode::opcode::PUSH10
- bytecode::opcode::PUSH11
- bytecode::opcode::PUSH12
- bytecode::opcode::PUSH13
- bytecode::opcode::PUSH14
- bytecode::opcode::PUSH15
- bytecode::opcode::PUSH16
- bytecode::opcode::PUSH17
- bytecode::opcode::PUSH18
- bytecode::opcode::PUSH19
- bytecode::opcode::PUSH2
- bytecode::opcode::PUSH20
- bytecode::opcode::PUSH21
- bytecode::opcode::PUSH22
- bytecode::opcode::PUSH23
- bytecode::opcode::PUSH24
- bytecode::opcode::PUSH25
- bytecode::opcode::PUSH26
- bytecode::opcode::PUSH27
- bytecode::opcode::PUSH28
- bytecode::opcode::PUSH29
- bytecode::opcode::PUSH3
- bytecode::opcode::PUSH30
- bytecode::opcode::PUSH31
- bytecode::opcode::PUSH32
- bytecode::opcode::PUSH4
- bytecode::opcode::PUSH5
- bytecode::opcode::PUSH6
- bytecode::opcode::PUSH7
- bytecode::opcode::PUSH8
- bytecode::opcode::PUSH9
- bytecode::opcode::RETURN
- bytecode::opcode::RETURNDATACOPY
- bytecode::opcode::RETURNDATASIZE
- bytecode::opcode::REVERT
- bytecode::opcode::RJUMP
- bytecode::opcode::RJUMPI
- bytecode::opcode::SAR
- bytecode::opcode::SDIV
- bytecode::opcode::SELFBALANCE
- bytecode::opcode::SELFDESTRUCT
- bytecode::opcode::SGT
- bytecode::opcode::SHL
- bytecode::opcode::SHR
- bytecode::opcode::SIGNEXTEND
- bytecode::opcode::SLOAD
- bytecode::opcode::SLT
- bytecode::opcode::SMOD
- bytecode::opcode::SSTORE
- bytecode::opcode::STATICCALL
- bytecode::opcode::STOP
- bytecode::opcode::SUB
- bytecode::opcode::SWAP1
- bytecode::opcode::SWAP10
- bytecode::opcode::SWAP11
- bytecode::opcode::SWAP12
- bytecode::opcode::SWAP13
- bytecode::opcode::SWAP14
- bytecode::opcode::SWAP15
- bytecode::opcode::SWAP16
- bytecode::opcode::SWAP2
- bytecode::opcode::SWAP3
- bytecode::opcode::SWAP4
- bytecode::opcode::SWAP5
- bytecode::opcode::SWAP6
- bytecode::opcode::SWAP7
- bytecode::opcode::SWAP8
- bytecode::opcode::SWAP9
- bytecode::opcode::TIMESTAMP
- bytecode::opcode::XOR
- fork::ARROW_GLACIER
- fork::BERLIN
- fork::BYZANTIUM
- fork::CONSTANTINOPLE_PETERSBURG
- fork::EIP_1559
- fork::EIP_2565
- fork::EIP_2718
- fork::EIP_2929
- fork::EIP_2930
- fork::EIP_3198
- fork::EIP_3529
- fork::EIP_3541
- fork::EIP_3554
- fork::EIP_3651
- fork::EIP_3675
- fork::EIP_3855
- fork::EIP_3860
- fork::EIP_4345
- fork::EIP_4399
- fork::EIP_4895
- fork::EIP_5133
- fork::GRAY_GLACIER
- fork::HOMESTEAD
- fork::INSTANBUL
- fork::LONDON
- fork::MUIR_GLACIER
- fork::PARIS
- fork::SHANGHAI
- fork::SUPRIOUS_DRAGON
- fork::TANGERINE_WHISTLE
- util::MAX_INTERVAL
- util::W256_ONE
- util::W256_THIRTYTWO
- util::W256_THREE
- util::W256_TWO
- util::W256_ZERO