Alternatives and similar repositories for evm-dis

Users that are interested in evm-dis are comparing it to the libraries listed below

• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆96Updated 2 years ago
• Zellic / Masamune
  A smart contract security search utility
  ☆75Updated 5 months ago
• runtimeverification / kontrol
  ☆76Updated this week
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• crytic / echidna-parade
  ☆29Updated last year
• JoranHonig / awesome-web3-ai-security
  ☆38Updated last year
• ConsenSysDiligence / diligence-fuzzing
  ☆39Updated last month
• ucsb-seclab / greed
  A symbolic execution engine for EVM smart contract binaries.
  ☆108Updated last month
• ethpwn / ethpwn
  ethpwn - the Swiss Army Knife for Smart Contract Hacking
  ☆49Updated 6 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆76Updated last year
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆137Updated 5 months ago
• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆26Updated 6 years ago
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆72Updated last year
• crytic / damn-vulnerable-defi-echidna
  ☆13Updated last year
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆58Updated 4 years ago
• OpenZeppelin / sgp
  Solidity ANTLR4 grammar Python parser
  ☆13Updated 2 months ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆55Updated 6 months ago
• runtimeverification / simbolik-vscode
  VSCode extension for debugging Solidity using Simbolik API server
  ☆40Updated 3 weeks ago
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 6 months ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• crytic / optik
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆96Updated 9 months ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆106Updated 5 months ago
• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆75Updated 2 years ago
• andstor / verified-smart-contracts
  Verified Ethereum Smart Contract dataset
  ☆29Updated last year
• chainlight-io / publications
  ☆86Updated 2 months ago
• crytic / roundme
  ☆91Updated last year
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆78Updated 2 years ago
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆15Updated last year
• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆76Updated 2 years ago