Expand description
Analyzes EVM bytecode to extract contract information, even for unverified contracts.
Use the contract_info() function with its builder pattern to analyze contracts.
Accuracy and speed comparison with other tools, as well as Python and JavaScript libraries, are available on GitHub
Modules§
- control_
flow_ graph - Control flow graph analysis for EVM bytecode
Structs§
- Contract
- Contains analyzed information about a smart contract
- Contract
Info Args - Builder for configuring contract analysis parameters
- Function
- Represents a public smart contract function
- Storage
Record - Represents a storage variable record in a smart contract’s storage layout.
Functions§
- contract_
info - Extracts information about a smart contract from its EVM bytecode.
Type Aliases§
- DynSol
Type - A dynamic Solidity type
- Selector
- A 4-byte function selector
- Slot
- A 32-byte storage slot identifier in EVM storage.
- State
Mutability - Function’s state mutability