Solidity Defects and Bugs Analysis (SDABA): A novel framework for smart contract vulnerability detection and benchmarking

Solidity Defects and Bugs Analysis (SDABA) is a static-analysis framework for detecting and benchmarking security vulnerabilities in Solidity smart contracts.

SDABA extends the vulnerability coverage of the SDB test suite introduced in Towards Trusted Smart Contracts: A Comprehensive Test Suite for Vulnerability Detection, including additional DeFi-related vulnerabilities such as Flash Loan and Price Oracle Manipulation.

Repository Contents

• 1.SDB-Test-Suite — Original SDB vulnerability benchmark.
• 2.Enhanced-Test-Suite — Extended benchmark with additional vulnerability cases.
• 3.Results — Analysis results generated by the evaluated tools.
• 4.Source-code — SDABA implementation and usage instructions.

Evaluated Tools

• Mythril — v0.24.8
• Slither — v11.0
• 4naly3er — commit 8a9d1eb
• SDABA — proposed framework

Publication

Solidity Defects and Bugs Analysis (SDABA): A novel framework for smart contract vulnerability detection and benchmarking

International Journal of Information Security, 25, Article 115, 2026.

View the published article

Citation

If you use SDABA, the Enhanced Test Suite, or the evaluation results in academic work, please cite the published paper:

@article{raza2026solidity,
  title   = {Solidity Defects and Bugs Analysis (SDABA): A novel framework for smart contract vulnerability detection and benchmarking},
  author  = {Raza, Abdur Rehman and Haseeb, Muhammad and Tahir, Shahzaib and Masood, Asif and Khan, M. Jaleed and Afzal, Hammad},
  journal = {International Journal of Information Security},
  volume  = {25},
  number  = {4},
  pages   = {115},
  year    = {2026},
  doi     = {10.1007/s10207-026-01287-1},
  publisher = {Springer}
}