Alternatives and similar repositories for greed

Users that are interested in greed are comparing it to the libraries listed below

• verovm / record-replay

  View on GitHub
  ☆18Dec 21, 2025Updated last month
• nevillegrech / gigahorse-toolchain

  View on GitHub
  A binary lifter and analysis framework for Ethereum smart contracts
  ☆356Feb 5, 2026Updated last week
• runtimeverification / kontrol

  View on GitHub
  ☆89Feb 5, 2026Updated last week
• 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
• uni-due-syssec / efcf-framework

  View on GitHub
  EF/CF - Extremely Fast smart Contract Fuzzing
  ☆70Jul 11, 2023Updated 2 years ago
• ethpwn / ethpwn

  View on GitHub
  ethpwn - the Swiss Army Knife for Smart Contract Hacking
  ☆55Dec 3, 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
• 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
• christoftorres / ConFuzzius

  View on GitHub
  A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
  ☆102Oct 11, 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.
  ☆617Feb 7, 2026Updated last week
• infosec-us-team / daf

  View on GitHub
  Daily activity feed of bug fixes and code changes in GitHub repositories listed as assets in scope for bug bounty programs in Immunefi.
  ☆65Oct 10, 2025Updated 4 months ago
• kupl / VeriSmart-benchmarks

  View on GitHub
  ☆68Aug 17, 2022Updated 3 years ago
• NethermindEth / EVMYulLean

  View on GitHub
  Executable formal model of the EVM and Yul in Lean 4.
  ☆64Nov 19, 2025Updated 2 months ago
• christoftorres / Elysium

  View on GitHub
  A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).
  ☆27Nov 4, 2022Updated 3 years ago
• chainlight-io / unwrap_let

  View on GitHub
  A Rust macro for quickly unwrapping a refutable pattern.
  ☆12Nov 10, 2023Updated 2 years ago
• Troublor / Nyx

  View on GitHub
  Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
  ☆21May 11, 2024Updated last year
• craftysecurity / jadaix

  View on GitHub
  A JADX plugin for interactive code analysis using Large Language Models (LLMs). Provides dynamic code analysis, security assessment, malw…
  ☆27Dec 14, 2024Updated last year
• ipsilon / eof

  View on GitHub
  Validation code for the EOF specification
  ☆57Apr 28, 2025Updated 9 months ago
• blocksecteam / hookscan

  View on GitHub
  Analyzer for Uniswap v4 Hooks
  ☆11Mar 4, 2024Updated last year
• nevillegrech / MadMax

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

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

  View on GitHub
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆76Apr 16, 2024Updated last year
• SoftSec-KAIST / SURI

  View on GitHub
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆18Apr 1, 2025Updated 10 months ago
• aoli-al / Solythesis

  View on GitHub
  Solythesis: Securing Smart Contract with Runtime Validation
  ☆12Mar 3, 2023Updated 2 years ago
• InPlusLab / DAppSCAN

  View on GitHub
  DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
  ☆78Mar 25, 2025Updated 10 months ago
• yapengye / D-ARM

  View on GitHub
  ☆26Aug 28, 2024Updated last year
• 0xalpharush / fuzzing-like-a-degen

  View on GitHub
  Barebones Solidity smart contract fuzzer
  ☆96Jul 20, 2022Updated 3 years ago
• minaminao / ctf-blockchain

  View on GitHub
  A summary and solutions for 200+ CTF blockchain challenges
  ☆1,067Oct 9, 2025Updated 4 months ago
• rappie / echidna-rari-hack

  View on GitHub
  Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna
  ☆14Jun 16, 2024Updated last year
• blocksecteam / BpfChecker

  View on GitHub
  This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…
  ☆16Dec 10, 2024Updated last year
• sbip-sg / CuEVM

  View on GitHub
  Cuda implementation of EVM bytecode executor
  ☆117Dec 26, 2024Updated last year
• Troublor / erebus-redgiant

  View on GitHub
  Smart contract front-running vulnerability benchmark
  ☆25Dec 11, 2023Updated 2 years ago
• Dedaub / storage-extractor

  View on GitHub
  ☆28May 19, 2024Updated last year
• 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
• season-lab / SymFusion

  View on GitHub
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆18May 5, 2023Updated 2 years ago
• ethdebug / format

  View on GitHub
  Smart contract debugging data format – Standards development working group
  ☆76Updated this week
• Zellic / solidity-parser

  View on GitHub
  Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…
  ☆68Dec 9, 2025Updated 2 months ago
• psifertex / callgraph

  View on GitHub
  Binary Ninja Call Graph plugin
  ☆24Apr 20, 2022Updated 3 years ago
• cdump / evmole

  View on GitHub
  Extracts function selectors, arguments, state mutability and storage layout from EVM bytecode, even for unverified contracts
  ☆429Jan 6, 2026Updated last month