BVCOE · CSE · Working Model

SARMF

Smart Contract Automated Remediation and Mitigation Framework

Mohit TiwariDepartment of Computer Science and Engineering
Bharati Vidyapeeth's College of Engineering, New Delhi

Bounded automated remediation you can inspect

This demonstrator implements one explicit end-to-end mechanism: deterministic detection of an external value call followed by a state update, a bounded Checks-Effects-Interactions reorder, and re-analysis with the same rule.

Pipeline statusANALYZED
Scope: SWC-107 syntactic rule only. A “mitigated” result means the matching rule was cleared; it is not a claim that the complete contract is secure.

1 · Solidity contract input

2 · Deterministic analyzer findings

Preserved SARMF-Bench research and DOI records

This working model extends the repository while preserving its benchmark identity and citation files. Existing archival records include Zenodo 10.5281/zenodo.18754015, IEEE DataPort 10.21227/zj4q-p934, Harvard Dataverse 10.7910/DVN/0SP3OO, Mendeley Data 10.17632/kd3vcpnn9v.1, OSF 10.17605/OSF.IO/EJWDC, and the reproducibility protocol cited in the repository README.