SARMF-Bench: 5 Solidity Smart Contracts for SWC Vulnerability Analysis

SARMF-Bench contains five Solidity smart contracts (SC01–SC05) developed by Mohit Tiwari in 2026 for benchmarking vulnerability analysis tools. Each contract isolates a specific Smart Contract Weakness Classification (SWC) category and includes machine-readable Slither v0.11.5 analysis outputs.

Use Cases

• Evaluating static analyzers using Slither detector identifiers and impact levels
• Testing symbolic execution engines against SC01 (Reentrancy) and SC02 (Arithmetic Overflow)
• Benchmarking AI security tools on SWC-aligned vulnerability patterns

Strengths

• Aligned with 5 SWC registry classes
• Includes Slither v0.11.5 detector identifiers and confidence metadata
• Minimalist design for structural isolation

Limitations

• Small sample size of 5 contracts
• Lacks real-world code complexity due to intentional simplification

Provenance

Source

Mohit Tiwari, Harvard Dataverse

Collection Method

Synthetic/Hand-crafted for benchmarking

Freshness

Last updated March 2026.