This is the evaluation repository for the paper "Benchmarking Failure - The State (and Decay) of Reentrancy Detection Tools" submitted at S&P 2026 on November 13th, 2025.
The dataset folder contains the handcrafted dataset in multiple versions.
The test_environment folder contains Hardhat scripts and attacker contracts to verify the dataset.
The resuts folder contains results in CSV format both for the tools included in the Smartbugs suite and those not included.
-
Notifications
You must be signed in to change notification settings - Fork 0
A repository of manually verified Solidity smart contracts, either safe or reentrant
License
matteo-rizzo/manually-verified-reentrancy-dataset
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A repository of manually verified Solidity smart contracts, either safe or reentrant
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published