SARMF-Bench: Reproducible Smart Contract Vulnerability Benchmark Dataset

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