AVVERIFIER is introduced as a tool aimed at detecting vulnerabilities in Ethereum smart contracts. The evaluation involves a benchmark consisting of six confirmed vulnerable contracts and four benign contracts from reputable DeFi projects. The study emphasizes the method of verification of external contract addresses. The contracts chosen are significant due to their operational characteristics, which include collateral mechanisms and potential vulnerabilities when certain verifications are bypassed. The effectiveness and efficiency of AVVERIFIER in identifying these vulnerabilities are also analyzed.
After comprehensively collecting technical reports from well-known blockchain security companies, we have identified six confirmed vulnerable contracts, designated as set P.
Four benign contracts were manually sampled from widely-adopted DeFi protocols including Aave, Compound, ParaSpace Lending, and a yield protocol to form set N.
The selected contracts require the input of external contract addresses and perform necessary verification on the passed addresses, thus identifying potential risks.
Through evaluating the effectiveness and efficiency of the AVVERIFIER, the study investigates the characteristics of real-world vulnerable contracts and real-time detection.
Collection
[
|
...
]