Alternatives and similar repositories for FuzzyVM:

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

• MariusVanDerWijden / tx-fuzz
  ☆108Updated last week
• ipsilon / eof
  Validation code for the EOF specification
  ☆54Updated this week
• ethereum / protocol-security
  ☆39Updated 3 weeks ago
• ethereum / public-disclosures
  ☆129Updated 2 months ago
• ChainSafe / nodewatch-api
  A devp2p crawler targeted at Eth2 nodes
  ☆59Updated last year
• holiman / goevmlab
  Evm laboratory
  ☆263Updated last week
• sigp / beacon-fuzz
  Differential Fuzzer for Ethereum 2.0
  ☆165Updated last year
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆85Updated last month
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 5 months ago
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 8 months ago
• ConsenSysDiligence / Uniswap-audit-report-2018-12
  ☆51Updated 6 years ago
• ethereum / execution-spec-tests
  A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
  ☆140Updated this week
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆72Updated 9 months ago
• costa-group / gasol-optimizer
  ☆108Updated 3 weeks ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• ferranbt / fastssz
  Fast Ethereum2.0 SSZ encoder/decoder
  ☆83Updated 2 months ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago
• ethereum / sys-asm
  Ethereum system contract implementations (asm)
  ☆43Updated last month
• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆75Updated 2 years ago
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆46Updated 4 months ago
• ConsenSysDiligence / Legions
  Ethereum/EVM Node Security Toolkit
  ☆70Updated 9 months ago
• eth-infinitism / bundler-spec-tests
  Bundler specification test suites
  ☆78Updated this week
• fjl / geas
  The Good Ethereum Assembler
  ☆111Updated last month
• ralexstokes / ethereum-consensus
  ☆146Updated last week
• crytic / crytic-compile
  Abstraction layer for smart contract build systems
  ☆171Updated last week
• immunefi-team / hack-analysis-pocs
  ☆39Updated last year
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• security-alliance / safe-harbor
  ☆73Updated 3 months ago
• 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
• aragon / evm-storage-proofs
  Trustlessly prove a past storage value in a contract to other contracts
  ☆146Updated 2 years ago