Alternatives and similar repositories for edb

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

• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆127Updated last year
• Zellic / EVM-trackooor
  A modular tool to track anything on the EVM chain, including real-time tracking and alerts.
  ☆181Updated 8 months ago
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆104Updated 10 months ago
• plotchy / evm-cfg
  Symbolic stack CFG generator for EVM
  ☆191Updated last year
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆141Updated 4 months ago
• paradigmxyz / revmc
  JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
  ☆256Updated 2 weeks ago
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆104Updated last year
• PraneshASP / foundry-mcp-server
  An experimental MCP Server for foundry built for Solidity devs
  ☆239Updated 3 weeks ago
• tintinweb / smart-contract-vulndb
  🍋 An open dataset containing smart contract audit issues from various sources.
  ☆235Updated last year
• paradigmxyz / paradigm-ctf-2023
  ☆88Updated 2 years ago
• Ackee-Blockchain / wake
  Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum…
  ☆344Updated this week
• sbip-sg / CuEVM
  Cuda implementation of EVM bytecode executor
  ☆116Updated last year
• fuzzland / blazctf-2023
  Challenges and Solutions of Blaz CTF 2023
  ☆45Updated 2 years ago
• zkoranges / zkPoEX
  ZK proofs for responsible vulnerability disclosure on EVM.
  ☆237Updated last week
• minaminao / erever
  My swiss army knife for reversing EVM bytecodes (super experimental)
  ☆126Updated 2 months ago
• paradigmxyz / paradigm-ctf-2022
  Puzzles used in the 2022 Paradigm CTF
  ☆391Updated 3 years ago
• fuzzland / audit_gpt
  Fine-tuning GPT for Smart Contract Auditing
  ☆166Updated 2 years ago
• OpenZeppelin / ctf-2024
  ⚡️ Ethernaut CTF 2024 Challenges & Solutions
  ☆116Updated last year
• minaminao / tornado-cats
  A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash
  ☆287Updated last month
• 0xDatapunk / Bridge-Bug-Tracker
  Hacks/Vulns/Audits Compilation
  ☆162Updated last year
• scabench-org / scabench
  A framework for evaluating AI audit agents using recent real-world data
  ☆100Updated 4 months ago
• paradigmxyz / ultimate_evm_tracing_reference
  a collection of EVM tracing information for easy reference
  ☆171Updated 2 years ago
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆451Updated last week
• wtdcode / verite
  Smart Contract Fuzzing Towards Profitable Vulnerabilities
  ☆61Updated 7 months ago
• SunWeb3Sec / DeFi-Security-Breach-RCA
  DeFi Security Breaches: Comprehensive Root Cause Analysis
  ☆81Updated 6 months ago
• paradigmxyz / solar
  Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
  ☆521Updated this week
• nullity00 / zk-security-reviews
  Collection of security reviews of ZK Protocols
  ☆239Updated last year
• 0xNazgul / fuzzydefi
  Pre-built security properties for commonly forked DeFi protocols
  ☆197Updated 2 years ago
• blocksecteam / blocksec_academy
  ☆163Updated 3 years ago
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆218Updated last week