Alternatives and similar repositories for FuzzyVM

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

• MariusVanDerWijden / tx-fuzz
  ☆112Updated last month
• ethereum / protocol-security
  ☆39Updated this week
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 6 months ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆55Updated 2 weeks ago
• ethereum / execution-spec-tests
  A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
  ☆143Updated this week
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆74Updated 10 months ago
• ChainSafe / nodewatch-api
  A devp2p crawler targeted at Eth2 nodes
  ☆59Updated last year
• ralexstokes / ethereum-consensus
  ☆148Updated last month
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆91Updated 2 months ago
• ethereum / public-disclosures
  ☆130Updated 3 months ago
• holiman / goevmlab
  Evm laboratory
  ☆269Updated this week
• crytic / crytic-compile
  Abstraction layer for smart contract build systems
  ☆171Updated 2 weeks ago
• sigp / beacon-fuzz
  Differential Fuzzer for Ethereum 2.0
  ☆166Updated last year
• protolambda / eth2-testnet-genesis
  Create a genesis state for an Eth2 testnet
  ☆55Updated 2 months ago
• fjl / geas
  The Good Ethereum Assembler
  ☆111Updated 2 months ago
• ethereum / sys-asm
  Ethereum system contract implementations (asm)
  ☆42Updated 2 months ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆111Updated last year
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆58Updated this week
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆76Updated last year
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆62Updated 2 weeks ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆55Updated 5 months ago
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆47Updated 4 months ago
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 9 months ago
• sigp / blockprint
  Block fingerprinting for the beacon chain, for client diversity metrics
  ☆92Updated last month
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• sbip-sg / CuEVM
  Cuda implementation of EVM bytecode executor
  ☆107Updated 4 months ago
• aragon / evm-storage-proofs
  Trustlessly prove a past storage value in a contract to other contracts
  ☆146Updated 2 years ago
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• costa-group / gasol-optimizer
  ☆108Updated this week