Consolidated Ground Truth (CGT) for Weaknesses of Ethereum Smart Contracts
☆24Oct 12, 2024Updated last year
Alternatives and similar repositories for cgt
Users that are interested in cgt are comparing it to the libraries listed below
Sorting:
- ☆16Jun 21, 2024Updated last year
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
- ☆21Apr 17, 2023Updated 2 years ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆78Mar 25, 2025Updated 11 months ago
- Spotify ETL Pipeline☆13Oct 13, 2023Updated 2 years ago
- ☆11Jan 14, 2025Updated last year
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆50Feb 28, 2023Updated 3 years ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- A dynamic on-chain racing game with real simulations 🏎️☆22Sep 26, 2022Updated 3 years ago
- ☆15May 17, 2019Updated 6 years ago
- ☆49Jan 14, 2025Updated last year
- 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
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆60Jun 5, 2022Updated 3 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jan 22, 2026Updated last month
- Automated Vulnerability Detection for Solana Smart Contracts☆38May 21, 2024Updated last year
- Datasets for evaluating smart contract security analysis tools ( continuously updating... )☆198Aug 21, 2023Updated 2 years ago
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Jul 11, 2023Updated 2 years ago
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆133Jun 16, 2024Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆142Oct 2, 2025Updated 5 months ago
- Source code of EtherSolve: static analysis of Ethereum bytecode☆77Sep 21, 2025Updated 5 months ago
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆157Nov 24, 2025Updated 3 months ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- [USENIX'25] HateBench: Benchmarking Hate Speech Detectors on LLM-Generated Content and Hate Campaigns☆13Mar 1, 2025Updated last year
- A project bringing ethics back to AI☆11Aug 7, 2023Updated 2 years ago
- SLE course at University of Groningen☆10Jan 23, 2024Updated 2 years ago
- ☆37Mar 26, 2021Updated 4 years ago
- ☆45Jul 29, 2021Updated 4 years ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆102Oct 11, 2023Updated 2 years ago
- Cross-platform file sharig application for desktop and mobile devices☆11May 2, 2024Updated last year
- A tool to help with ethereum staking deposits, validation and batching☆11Sep 19, 2024Updated last year
- Clone of original space invaders with Rust☆14Jul 1, 2021Updated 4 years ago
- Web-based input method candidate window 基于网页的输入法候选窗☆12Feb 27, 2026Updated last week
- macro for generating type-safe CPI functions from Solana IDLs☆11Jun 10, 2025Updated 8 months ago
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- Reference AirSwap Marketplace Client☆12Mar 12, 2025Updated 11 months ago
- ☆11Jan 25, 2022Updated 4 years ago
- Vyper examples of LZ-enabled Omnichain contracts☆15Feb 26, 2023Updated 3 years ago