AVVERIFIER is a lightweight taint analyzer designed to detect address verification vulnerabilities in Ethereum smart contracts. This tool operates through a three-phase detection process that reduces false positives and negatives by leveraging static EVM opcode simulation. In its evaluations involving over 5 million contracts, AVVERIFIER achieved efficiency improvements of 2 to 5 times compared to the state-of-the-art while maintaining 94.3% precision and complete recall. The research identifies existing limitations in current tools and emphasizes the necessity of addressing these vulnerabilities to enhance smart contract security.
AVVERIFIER is designed to address vulnerabilities in Ethereum address verification, employing a three-phase detection process that increases efficiency while ensuring high precision and recall.
The tool's taint analysis relies on static EVM opcode simulation, making it lightweight and effective in ruling out false positives and negatives during vulnerability detection.
In large-scale evaluation across over 5 million Ethereum contracts, AVVERIFIER demonstrated a significant improvement in detection efficiency, achieving 94.3% precision and 100% recall.
Existing tools face limitations that AVVERIFIER overcomes, ensuring robust security in the execution of smart contracts by targeting the often-overlooked address verification vulnerabilities.
Collection
[
|
...
]