SDABA

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.

---

Test Suites

• 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 Tools

• Mythril - Version v0.24.8
• Slither - Version v11.0
• 4naly3er - Commit 8a9d1eb
• SDABA - This work

Reports

• Analysis reports generated by all tools on both the SDB and Enhanced test suites.

Source Code

• For installation and usage instructions, please visit the source code.