AVVERIFIER is a tool that identifies address verification vulnerabilities in Ethereum smart contracts through a three-component architecture. The main components include the code grapher, which converts smart contract bytecode into a control flow graph, the EVM simulator that maintains execution state and processes taint information, and the vulnerability detector that identifies potential risks. The process begins with the grapher filtering suspicious functions, which are then analyzed by the simulator using a heuristic path selection methodology for improved detection of vulnerabilities within the smart contracts.
AVVERIFIER comprises three main components: a code grapher to parse bytecode into a control flow graph, an EVM simulator to maintain state, and a vulnerability detector.
The code grapher filters out suspicious functions and delivers them to the simulator, which utilizes a heuristic-based path selection method for effective analysis of smart contracts.
Collection
[
|
...
]