SDABA

Solidity Defects and Bugs Analysis (SDABA)

SDABA is a static-analysis framework for detecting and benchmarking security vulnerabilities in Solidity smart contracts.

It provides the original SDB test suite, an Enhanced Test Suite with additional DeFi-related vulnerability cases, SDABA source code, and comparative evaluation results for multiple smart-contract security analyzers.

Publication

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

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

Read the published paper

SDABA Resources

• SDB Test Suite
• Enhanced Test Suite
• Evaluation Results
• Source Code
• GitHub Repository
• Latest Release

Evaluated Tools

SDABA is evaluated alongside:

• Mythril
• Slither
• 4naly3er

Research Areas

Smart Contract Security, Solidity, Ethereum, Blockchain Security, Static Analysis, Vulnerability Detection, DeFi Security, Security Benchmarking

Citation

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

@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}
}