EOSIOAnalyzer is a static program analysis framework for EOSIO smart contract bytecode. It decompiles a Wasm bytecode program into an equivalent intermediate representation and constructs a corresponding CFG against it. This representation removes stack operations, thereby exposing dependencies between data due to stack properties. The resulting flow relationship between data is then fed into the Souffle analysis engine along with the Datalog specification written by the developer to extract program properties.
- EOSIOAnalyzer: An Effective Static Analysis Vulnerability Detection Framework for EOSIO Smart Contracts
- EOSIOAnalyzer
- Description
password:Lwy
- Paper
- Wasm instruction sets