"SARMF-Bench: Reproducible Smart Contract Vulnerability Benchmark Dataset"

"SARMF\u2011Bench is a compact, reproducible benchmark dataset for smart contract vulnerability analysis. The dataset contains five Solidity smart contracts (SC01\u2013SC05) aligned with canonical vulnerability classes along the Smart Contract Weakness Classification (SWC) registry, including reentrancy, integer overflow, access\u2011control weakness, unchecked external calls, and denial\u2011of\u2011service via unbounded loops. Each contract is designed as a minimal, human\u2011readable example and is paired with machine\u2011readable analysis outputs generated using Slither v0.11.5 in a version\u2011locked environment. The benchmark is intended to support controlled experiments for static analyzers, symbolic execution engines, fuzzers, and AI\u2011assisted security tools, as well as teaching examples in smart contract security courses. "