Repository of benchmarks to evaluate Solidity Smart contract analysis tools
☆16Jun 23, 2020Updated 5 years ago
Alternatives and similar repositories for SolidiFI-benchmark
Users that are interested in SolidiFI-benchmark are comparing it to the libraries listed below
Sorting:
- This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"☆17Dec 28, 2024Updated last year
- Smart Contract Vulnerability Detection Using Graph Neural Networks☆17Jun 22, 2020Updated 5 years ago
- ☆15May 17, 2019Updated 6 years ago
- A unified smart contract standard data set.☆46Aug 23, 2021Updated 4 years ago
- Repository of benchmarks to evaluate Solidity Smart contract analysis tools☆73Jun 16, 2022Updated 3 years ago
- This repository contains 47,398 smart contracts extracted from the Ethereum network.☆195Jun 3, 2020Updated 5 years ago
- Mutation Test Tool for Solidity☆16Jun 17, 2022Updated 3 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- ☆25Apr 25, 2024Updated last year
- This is a crawler with a tool of Jsoup. Furthermore. Moreover, there is a python version.☆18Apr 7, 2019Updated 6 years ago
- ☆20Nov 11, 2019Updated 6 years ago
- Dataset containing source code and deployed bytecode for Solidity Smart Contracts that have been verified on Etherscan.io, along with a c…☆25Jun 13, 2022Updated 3 years ago
- A Sequence Learning Approach to Detecting Vulnerabilities☆48Nov 17, 2021Updated 4 years ago
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆660Jan 16, 2026Updated last month
- Smart contract front-running vulnerability benchmark☆25Dec 11, 2023Updated 2 years ago
- A Tool for clone detection and bug detection in smart contracts☆106May 13, 2023Updated 2 years ago
- A tool that detects honeypots in Ethereum smart contracts (USENIX 2019).☆102Mar 7, 2023Updated 2 years ago
- ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models☆57May 11, 2021Updated 4 years ago
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆131Jun 16, 2024Updated last year
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆78Mar 25, 2025Updated 11 months ago
- Runtime verification tool for Solidity smart contracts.☆35Mar 29, 2023Updated 2 years ago
- ☆30Dec 28, 2024Updated last year
- A multisignature wallet.☆10Mar 8, 2023Updated 2 years ago
- This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented …☆78Jul 24, 2020Updated 5 years ago
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆38May 2, 2023Updated 2 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- [USENIX'25] HateBench: Benchmarking Hate Speech Detectors on LLM-Generated Content and Hate Campaigns☆13Mar 1, 2025Updated last year
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago
- Translate a subset of C to Verilog☆11May 8, 2019Updated 6 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- ☆37Mar 26, 2021Updated 4 years ago
- ☆45Jul 29, 2021Updated 4 years ago
- SIMPLE MAGIC: Synthesis and In-memory MaPping of Logic Execution for Memristor Aided loGIC☆15Jan 23, 2020Updated 6 years ago
- work in progress, playing around with btor2 in rust☆12Updated this week
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- Light-weight, Scalable and Fast Quantum Simulator☆11Sep 15, 2025Updated 5 months ago