Solidity Defects and Bugs Analyzer (SDABA)
SDABA is an advance analyzer to detect smart contract vulnerabilities reported in Towards Trusted Smart Contracts: A Comprehensive Test Suite For Vulnerability Detection.
-
SDB: The original test suite from the literature, covering a wide range of Solidity vulnerabilities across multiple categories.
-
Enhanced: An extended test suite developed in this work to address gaps in the SDB suite, including vulnerabilities like Flash Loan and Price Oracle Manipulation, providing a more comprehensive evaluation benchmark.
- Analysis reports generated by all tools on both the SDB and Enhanced test suites.
- For installation and usage instructions, please visit the source code.