nevillegrech / gigahorse-benchmarksView external linksLinks
A benchmark suite (under construction) for smart contract vulnerability tools
☆17Jul 13, 2021Updated 4 years ago
Alternatives and similar repositories for gigahorse-benchmarks
Users that are interested in gigahorse-benchmarks are comparing it to the libraries listed below
Sorting:
- Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin☆15Sep 30, 2023Updated 2 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆137Dec 7, 2022Updated 3 years ago
- a backdoor detection tool for Ethereum ERC token contract☆12Jun 17, 2022Updated 3 years ago
- A collection of papers and detection tools related to Smart Contract Auditing.☆22Sep 15, 2024Updated last year
- 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 binary lifter and analysis framework for Ethereum smart contracts☆356Feb 5, 2026Updated last week
- Smart contract front-running vulnerability benchmark☆25Dec 11, 2023Updated 2 years ago
- Finding the potential null pointer exception☆29Dec 1, 2020Updated 5 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆168Aug 5, 2021Updated 4 years ago
- ☆61Jul 6, 2022Updated 3 years ago
- This repository contains 47,398 smart contracts extracted from the Ethereum network.☆193Jun 3, 2020Updated 5 years ago
- ☆34Apr 17, 2022Updated 3 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆78Mar 25, 2025Updated 10 months ago
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆41Aug 31, 2018Updated 7 years ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆82Feb 12, 2023Updated 3 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Oct 2, 2020Updated 5 years ago
- A collection of tools to measure and analyze frontrunning on Ethereum (USENIX 2021).☆33May 13, 2022Updated 3 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- A Code Efficiency Benchmark for Code Generation☆13May 26, 2025Updated 8 months ago
- ☆10Feb 20, 2020Updated 5 years ago
- ☆10Oct 9, 2023Updated 2 years ago
- Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.☆18Mar 3, 2015Updated 10 years ago
- ☆11Dec 28, 2021Updated 4 years ago
- A linter for Soufflé Datalog☆16Apr 1, 2024Updated last year
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- A Git remote helper for the Internet Computer Protocol.☆12Feb 23, 2023Updated 2 years ago
- Inpage Provider. Injected API used to interact with Plug in browsers.☆11Nov 23, 2022Updated 3 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- A rehype MDX plugin for exposing the page title☆17Sep 18, 2025Updated 5 months ago
- ☆16Updated this week
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- A set of mathematical syntax transformation tools.☆13May 16, 2025Updated 9 months ago
- File system implementation for the Internet Computer☆11Nov 28, 2025Updated 2 months ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆107Dec 30, 2022Updated 3 years ago
- a safety verifier for Solidity smart contracts☆96Jan 17, 2023Updated 3 years ago