Tag
5 repositories
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
EVM CFG recovery
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
Solidity Typescript Parser library and an exhaustive set (+1,800) Solidity Test Contracts
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.