SARMF-Bench: Reproducible Smart Contract Vulnerability Benchmark Dataset
收藏Mendeley Data2026-04-18 收录
下载链接：
https://data.mendeley.com/datasets/kd3vcpnn9v
下载链接
链接失效反馈官方服务：
资源简介：
SARMF-Bench is a compact, reproducible benchmark dataset for smart contract vulnerability analysis.
It contains five Solidity smart contracts aligned with canonical vulnerability classes:
• Reentrancy
• Arithmetic Overflow Behavior
• Access Control Weakness
• Unchecked External Call
• Denial-of-Service Pattern
Each contract is paired with machine-readable static analysis outputs generated using Slither v0.11.5.
The dataset is designed to support reproducible benchmarking experiments for static analyzers, symbolic execution engines, fuzzers, and AI-based smart contract security tools.
Primary development repository:
https://github.com/profmohit-edu/sarmf-framework
Software archive DOI:
https://doi.org/10.5281/zenodo.18754015
Reproducibility protocol:
https://doi.org/10.17504/protocols.io.bp216eyxdgqe/v1
创建时间：
2026-03-16
