Alternatives and similar repositories for evm-dis:

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

• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆49Updated 2 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆53Updated 2 months ago
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 2 months ago
• runtimeverification / kontrol
  ☆61Updated this week
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆71Updated 10 months ago
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆78Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆47Updated last month
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆58Updated 3 years ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 7 months ago
• Certora / Documentation
  ☆17Updated this week
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆37Updated last year
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆45Updated 2 years ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆49Updated last week
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆46Updated 2 years ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆39Updated last year
• sigp / multiproof
  Generating Inputs for OZ's MultiProof and SingleProof
  ☆37Updated 2 months ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆15Updated 2 years ago
• williamberman / evm-symbolic-execution
  ☆36Updated 2 years ago
• jtriley-eth / offensive_vyper
  Vyper Based Capture The Flag Challenges
  ☆35Updated 2 years ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆72Updated 2 years ago
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 4 months ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆85Updated last year
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆104Updated last year
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago
• Zellic / weth
  Formal verification of WETH9.sol with Z3
  ☆55Updated 2 years ago
• dragonfly-xyz / nottingham-contracts
  ☆18Updated 6 months ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆70Updated 3 weeks ago
• PraneshASP / smol-evm-rs
  ☄️ A toy implementation of the EVM from scratch using Rust.
  ☆36Updated 11 months ago
• crytic / roundme
  ☆90Updated 7 months ago