sarmf-framework/index.html at main · profmohit-edu/sarmf-framework · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">

<title>SARMF-Bench | Reproducible Smart Contract Vulnerability Benchmark Dataset</title>

<meta name="google-site-verification" content="vS8lu_oWrXbmZQt6avjZqo1UajWi_d_j3Mc7d9mGyac" />

<meta name="description" content="SARMF-Bench is a deterministic, DOI-backed smart contract vulnerability benchmark aligned with SWC taxonomy for reproducible evaluation of static analyzers, fuzzers, and AI-based blockchain security tools.">

<meta name="keywords" content="SARMF-Bench, smart contracts, blockchain security, Solidity, static analysis, vulnerability benchmark, SWC-107, SWC-101, SWC-105, SWC-104, SWC-113, reentrancy, integer overflow, access control weakness, unchecked external call, denial-of-service, Slither, reproducible research, Mohit Tiwari">

<meta name="citation_title" content="SARMF-Bench: Reproducible Smart Contract Vulnerability Benchmark Dataset">
<meta name="citation_author" content="Mohit Tiwari">
<meta name="citation_publication_date" content="2026">
<meta name="citation_doi" content="10.5281/zenodo.18754015">
<meta name="citation_technical_report_institution" content="Bharati Vidyapeeth's College of Engineering, Delhi">
<meta name="citation_public_url" content="https://profmohit-edu.github.io/sarmf-framework/">

<script type="application/ld+json">
{
  "@context": "https://schema.org",
  "@type": "Dataset",
  "name": "SARMF-Bench: Reproducible Smart Contract Vulnerability Benchmark Dataset",
  "description": "A deterministic benchmark of Solidity contracts aligned with canonical SWC vulnerability classes for controlled evaluation of static analyzers, fuzzers, symbolic execution engines, and AI-based smart contract security systems.",
  "url": "https://profmohit-edu.github.io/sarmf-framework/",
  "identifier": [
    "https://doi.org/10.5281/zenodo.18754015",
    "https://doi.org/10.21227/zj4q-p934",
    "https://doi.org/10.7910/DVN/0SP3OO",
    "https://doi.org/10.17632/kd3vcpnn9v.1",
    "https://doi.org/10.17605/OSF.IO/EJWDC"
  ],
  "creator": {
    "@type": "Person",
    "name": "Mohit Tiwari",
    "sameAs": [
      "https://orcid.org/0000-0003-1836-3451",
      "https://scholar.google.com/citations?user=ZFRPBBcAAAAJ",
      "https://www.scopus.com/authid/detail.uri?authorId=57222016881",
      "https://www.researchgate.net/profile/Mohit-Tiwari-6"
    ],
    "affiliation": {
      "@type": "Organization",
      "name": "Bharati Vidyapeeth's College of Engineering, Delhi"
    }
  },
  "publisher": {
    "@type": "Organization",
    "name": "Zenodo and IEEE DataPort"
  },
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "keywords": [
    "smart contract security",
    "blockchain security",
    "SWC-107",
    "SWC-101",
    "SWC-105",
    "SWC-104",
    "SWC-113",
    "Solidity",
    "static analysis",
    "vulnerability benchmark",
    "reproducible research"
  ]
}
</script>

<style>
body {
    font-family: Arial, sans-serif;
    max-width: 950px;
    margin: 40px auto;
    line-height: 1.7;
}
pre {
    background: #f4f4f4;
    padding: 15px;
}
h1, h2 {
    border-bottom: 2px solid #ddd;
    padding-bottom: 6px;
}
a {
    color: #0056b3;
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}
</style>
</head>

<body>

<h1>SARMF-Bench</h1>

<p><strong>SARMF-Bench</strong> is a deterministic, reproducible smart contract vulnerability benchmark aligned with canonical SWC taxonomy classes:</p>

<ul>
<li>SWC-107 – Reentrancy</li>
<li>SWC-101 – Integer Overflow</li>
<li>SWC-105 – Access Control Weakness</li>
<li>SWC-104 – Unchecked External Calls</li>
<li>SWC-113 – Denial-of-Service via Unbounded Loop</li>
</ul>

<h2>Primary DOIs</h2>

<p>Zenodo: <a href="https://doi.org/10.5281/zenodo.18754015">10.5281/zenodo.18754015</a></p>
<p>IEEE DataPort: <a href="https://doi.org/10.21227/zj4q-p934">10.21227/zj4q-p934</a></p>

<h2>Additional Archival Records</h2>

<p>Harvard Dataverse: <a href="https://doi.org/10.7910/DVN/0SP3OO">10.7910/DVN/0SP3OO</a></p>
<p>Mendeley Data: <a href="https://doi.org/10.17632/kd3vcpnn9v.1">10.17632/kd3vcpnn9v.1</a></p>
<p>OSF Project: <a href="https://doi.org/10.17605/OSF.IO/EJWDC">10.17605/OSF.IO/EJWDC</a></p>

<h2>GitHub Repository</h2>

<p><a href="https://github.com/profmohit-edu/sarmf-framework">Source Code</a></p>

<h2>How to Cite</h2>

<pre>
Tiwari, M. (2026). SARMF-Bench: Reproducible Smart Contract Vulnerability Benchmark Dataset.
Zenodo. https://doi.org/10.5281/zenodo.18754015

IEEE DataPort DOI: https://doi.org/10.21227/zj4q-p934
</pre>

<h2>Maintainer</h2>
<p>Mohit Tiwari</p>
<p>Department of Computer Science and Engineering</p>
<p>Bharati Vidyapeeth's College of Engineering, Delhi</p>

</body>
</html>