![Author ORCID: We display the ORCID iD icon alongside authors names on our website to acknowledge that the ORCiD has been authenticated when entered by the user. To view the users ORCiD record click the icon. [opens in a new tab]](https://www.cambridge.org/engage/assets/public/coe/logo/orcid.png){kind=logo}
Abstract
Smart contract vulnerability benchmarking lacks standardized, reproducible datasets for fair evaluation of static analysis tools. This paper presents SARMF-Bench, a compact, deterministic, and fully reproducible benchmark dataset comprising five SWC-aligned Solidity smart contracts covering reentrancy (SWC-107), integer overflow (SWC-101), access-control weakness (SWC-105), unchecked external calls (SWC-104), and denial-of-service via unbounded loops (SWC-113). Each contract isolates a single vulnerability pattern and is paired with machine-readable JSON outputs generated using Slither v0.11.5 in a version-locked environment. SARMF-Bench is archived across multiple open repositories with permanent DOIs to enable fully reproducible smart contract security tool evaluation experiments. All artifacts are publicly released under open licenses.
Supplementary weblinks
Title
SARMF-Bench Dataset - Zenodo Archive
Description
Primary software and dataset archive on Zenodo with permanent DOI. Contains all Solidity smart contracts, Slither JSON outputs, and environment specifications for full reproducibility.
Actions
View Title
SARMF-Bench Dataset - Harvard Dataverse
Description
Benchmark dataset archived on Harvard Dataverse with permanent DOI. Contains all benchmark contracts and analysis outputs for reproducible smart contract security research.
Actions
View Title
SARMF-Bench GitHub Repository
Description
Primary code repository containing Solidity smart contracts, Slither analysis scripts, JSON outputs, Docker environment, and full documentation for the SARMF-Bench benchmark dataset.
Actions
View 
