Search results for 'tags:evm' (1)
- Towards a Sound Construction of EVM Bytecode Control-flow Graphs
static-analysis abstract-interpretation evm cfg-reconstruction
Abstract: Ethereum enables the creation and execution of decentralized applications through smart contracts, that are compiled to Ethereum Virtual Machine (EVM)...