Alternatives and similar repositories for gigahorse-toolchain

Users that are interested in gigahorse-toolchain are comparing it to the libraries listed below

• nevillegrech / MadMax

  View on GitHub
  Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
  ☆137Dec 7, 2022Updated 3 years ago
• usyd-blockchain / vandal

  View on GitHub
  Static program analysis framework for Ethereum smart contract bytecode.
  ☆168Aug 5, 2021Updated 4 years ago
• ucsb-seclab / greed

  View on GitHub
  A symbolic execution engine for EVM smart contract binaries.
  ☆118Dec 2, 2025Updated 2 months ago
• fuzzland / ityfuzz

  View on GitHub
  Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
  ☆1,065Dec 10, 2025Updated 2 months ago
• SeUniVr / EtherSolve

  View on GitHub
  Source code of EtherSolve: static analysis of Ethereum bytecode
  ☆77Sep 21, 2025Updated 4 months ago
• ConsenSysDiligence / daedaluzz

  View on GitHub
  Benchmark Generator for Smart-Contract Fuzzers
  ☆141Oct 2, 2025Updated 4 months ago
• crytic / evm_cfg_builder

  View on GitHub
  EVM CFG recovery
  ☆126Jun 29, 2023Updated 2 years ago
• ucsb-seclab / sailfish

  View on GitHub
  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
• RUB-SysSec / EthBMC

  View on GitHub
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆107Dec 30, 2022Updated 3 years ago
• eth-sri / securify2

  View on GitHub
  Securify v2.0
  ☆626May 25, 2025Updated 8 months ago
• Jon-Becker / heimdall-rs

  View on GitHub
  Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts…
  ☆1,491Updated this week
• sbip-sg / CuEVM

  View on GitHub
  Cuda implementation of EVM bytecode executor
  ☆117Dec 26, 2024Updated last year
• nevillegrech / gigahorse-benchmarks

  View on GitHub
  A benchmark suite (under construction) for smart contract vulnerability tools
  ☆17Jul 13, 2021Updated 4 years ago
• a16z / halmos

  View on GitHub
  A symbolic testing tool for EVM smart contracts
  ☆967Aug 6, 2025Updated 6 months ago
• smartbugs / smartbugs

  View on GitHub
  SmartBugs: A Framework to Analyze Ethereum Smart Contracts
  ☆660Jan 16, 2026Updated last month
• fuzzland / girlfriend

  View on GitHub
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆128Aug 19, 2024Updated last year
• Troublor / erebus-redgiant

  View on GitHub
  Smart contract front-running vulnerability benchmark
  ☆25Dec 11, 2023Updated 2 years ago
• tintinweb / smart-contract-sanctuary

  View on GitHub
  🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
  ☆1,591Jun 28, 2024Updated last year
• christoftorres / ConFuzzius

  View on GitHub
  A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
  ☆102Oct 11, 2023Updated 2 years ago
• USCHunt-Anon / USCHunt

  View on GitHub
  Anonymous repo for USCHunt, a tool for detecting and classifying upgradeable proxy smart contracts, built atop Slither
  ☆22Apr 2, 2023Updated 2 years ago
• hzysvilla / Academic_Smart_Contract_Papers

  View on GitHub
  Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
  ☆617Updated this week
• crytic / rattle

  View on GitHub
  evm binary static analysis
  ☆368Sep 4, 2023Updated 2 years ago
• kongqp / DeFiTainter

  View on GitHub
  ☆27May 27, 2023Updated 2 years ago
• kadenzipfel / function-selector-miner

  View on GitHub
  Blazingly fast function selector miner written in Rust.
  ☆79Apr 7, 2023Updated 2 years ago
• nveloso / conkas

  View on GitHub
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆82Feb 12, 2023Updated 3 years ago
• plotchy / evm-cfg

  View on GitHub
  Symbolic stack CFG generator for EVM
  ☆191Feb 10, 2025Updated last year
• shuo-young / BlockWatchdog

  View on GitHub
  Attacker Contract Identifier Through Static Dataflow Analysis
  ☆26Oct 15, 2025Updated 4 months ago
• blocksecteam / rustle

  View on GitHub
  A static analyzer for NEAR smart contract in Rust
  ☆109Oct 31, 2023Updated 2 years ago
• smartbugs / smartbugs-wild

  View on GitHub
  This repository contains 47,398 smart contracts extracted from the Ethereum network.
  ☆193Jun 3, 2020Updated 5 years ago
• palkeo / pakala

  View on GitHub
  Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
  ☆345Jun 7, 2022Updated 3 years ago
• christoftorres / HoneyBadger

  View on GitHub
  A tool that detects honeypots in Ethereum smart contracts (USENIX 2019).
  ☆102Mar 7, 2023Updated 2 years ago
• rainshowerLabs / sothis

  View on GitHub
  Replay and track historical state
  ☆218Jan 31, 2025Updated last year
• libevm / hp2

  View on GitHub
  Huff Proxies with Create2 (no SLOAD)
  ☆41Oct 23, 2022Updated 3 years ago
• uni-due-syssec / efcf-framework

  View on GitHub
  EF/CF - Extremely Fast smart Contract Fuzzing
  ☆70Jul 11, 2023Updated 2 years ago
• 0xPARC / zk-bug-tracker

  View on GitHub
  A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
  ☆713Dec 19, 2024Updated last year
• pessimistic-io / slitherin

  View on GitHub
  Slither Detectors by Pessimistic.io
  ☆374Jun 25, 2024Updated last year
• SmartContractSecurity / SWC-registry

  View on GitHub
  Smart Contract Weakness Classification and Test Cases
  ☆897Aug 6, 2024Updated last year
• crytic / ethersplay

  View on GitHub
  EVM dissassembler
  ☆860Sep 4, 2023Updated 2 years ago
• crytic / echidna

  View on GitHub
  Ethereum smart contract fuzzer
  ☆3,079Feb 8, 2026Updated last week