Alternatives and similar repositories for solfuzz:

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

• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆25Updated 5 years ago
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆60Updated 4 years ago
• cleanunicorn / mythos
  CLI client for the MythX API
  ☆20Updated 2 years ago
• Consensys / evm-analyzer-benchmark-suite
  A benchmark suite for evaluating the precision of EVM code analysis tools.
  ☆40Updated 6 years ago
• tintinweb / evm-shell
  An interactive EVM repl/shell.
  ☆32Updated 3 years ago
• Consensys / Legions
  Ethereum/EVM Node Security Toolkit
  ☆70Updated 7 months ago
• Consensys / mythx-playground
  Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence
  ☆41Updated 4 years 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
• ethereum / evmcodegen
  A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine
  ☆25Updated 6 years ago
• tagomaru / truffle-sca2t
  Smart contract auditing assistant tool for Truffle Framework.
  ☆18Updated 2 years ago
• thec00n / etherscan_verified_contracts
  Verified contracts synced from Etherscan
  ☆62Updated 6 years ago
• sec-bit / adelaide
  The SECBIT Static Analysis Extension to Solidity Compiler
  ☆19Updated 6 years ago
• MrLuit / selfdestruct-detect
  Detect SELFDESTRUCT opcodes in EVM runtime bytecode
  ☆22Updated 2 years ago
• ChainSecurity / audits
  Subset of public audit reports issued by ChainSecurity. For more, please visit:
  ☆29Updated last year
• crytic / optik
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆93Updated 4 months ago
• crytic / echidna-parade
  ☆28Updated last year
• Consensys / Uniswap-audit-report-2018-12
  ☆51Updated 5 years ago
• gakonst / optimism-tx-format
  Shows how optimistic geth modifies transactions that get submitted to it by converting them to OVM Messages and then calls to the OVM Exe…
  ☆26Updated 4 years ago
• joswha / ethxmasctf2021
  X-MAS CTF 2021 Ethereum challenges
  ☆28Updated 3 years ago
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆34Updated 6 months ago
• statechannels / bytecode-debugger
  A simple EVM bytecode debugger
  ☆19Updated 3 years ago
• cleanunicorn / flaterra
  The Earth is flat but Solidity source code is not. This fixes that.
  ☆20Updated 5 years ago
• Consensys / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆24Updated last year
• lsankar4033 / surrogeth
  Tricking frontrunners into doing good
  ☆42Updated 2 years ago
• beacon-thugs-harmony / beacon_chain_simulator
  Implements a prototype and interactive simulation for the sharded pos ethereum 2.0.
  ☆12Updated 5 years ago
• chicxurug / SolMet-Solidity-parser
  A static analysis tool for calculating OO-style source code metrics for Solidity smart contracts.
  ☆39Updated last year
• 0age / devcon5-contract-runtime-mutability
  Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka
  ☆35Updated 5 years ago
• shlee-lab / Smart-contract-security-analysis
  Papers of smart contract security analysis (and tools)
  ☆35Updated 5 years ago
• nedasma / solidity-vuln-tests
  A repository for Solidity smart contracts acting as security bug tests for static analysis tools.
  ☆32Updated 3 years ago
• viperproject / 2vyper
  A static verifer for Ethereum Smart Contracts written in Vyper
  ☆51Updated last year