Alternatives and similar repositories for solfuzz

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

• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆59Updated 4 years ago
• cleanunicorn / mythos
  CLI client for the MythX API
  ☆20Updated 2 years ago
• ConsenSysDiligence / evm-analyzer-benchmark-suite
  A benchmark suite for evaluating the precision of EVM code analysis tools.
  ☆41Updated 6 years ago
• ChainSecurity / audits
  Subset of public audit reports issued by ChainSecurity. For more, please visit:
  ☆30Updated last year
• tagomaru / truffle-sca2t
  Smart contract auditing assistant tool for Truffle Framework.
  ☆18Updated 2 years ago
• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆26Updated 6 years ago
• ethereum / evmcodegen
  A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine
  ☆25Updated 6 years ago
• ConsenSysDiligence / mythx-playground
  Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence
  ☆40Updated 4 years ago
• tintinweb / evm-shell
  An interactive EVM repl/shell.
  ☆32Updated 3 years ago
• ConsenSysDiligence / security-workshop-for-devs
  Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
  ☆70Updated 5 years ago
• ConsenSysDiligence / Legions
  Ethereum/EVM Node Security Toolkit
  ☆71Updated last year
• vietlq / smart-contract-audit
  Guide to auditing EVM smart contracts using tools
  ☆22Updated 2 years ago
• ConsenSysDiligence / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆24Updated 2 years ago
• thec00n / etherscan_verified_contracts
  Verified contracts synced from Etherscan
  ☆63Updated 6 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 4 years ago
• muellerberndt / laser-ethereum
  Symbolic virtual machine for Ethereum
  ☆69Updated 7 years ago
• AztecProtocol / Setup
  AZTEC protocol trusted setup MPC
  ☆32Updated last year
• tinchoabbate / slither-scripts
  Auditing scripts for Slither (https://github.com/crytic/slither)
  ☆30Updated 5 years ago
• eth-sri / soltix
  SOLTIX: Scalable automated framework for testing Solidity compilers.
  ☆38Updated 3 years ago
• ConsenSysDiligence / Uniswap-audit-report-2018-12
  ☆51Updated 6 years ago
• ledgerwatch / eth_state
  data and charts for Ethereum state analysis
  ☆46Updated 5 years ago
• ethereum / solidity-fuzzing-corpus
  ☆17Updated 4 months ago
• MrLuit / selfdestruct-detect
  Detect SELFDESTRUCT opcodes in EVM runtime bytecode
  ☆22Updated 2 years ago
• anydotcrypto / metatransactions
  A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.
  ☆45Updated last year
• EdenBlockVC / spook
  Mixing service using the Nym network to anonymize Ethereum RPC calls
  ☆56Updated 2 years ago
• miguelmota / solidity-audit-checklist
  A checklist of things to look for when auditing Solidity smart contracts.
  ☆73Updated 7 years ago
• ConsenSysDiligence / aragraph
  Visualize your Aragon DAO Templates
  ☆29Updated last year
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• TovarishFin / smart-contract-boilerplate
  Boilerplate for smart contract development which includes all needed basic tools and linting
  ☆17Updated 6 years ago
• peppersec / public-audit-reports
  Disclosure reports by PepperSec
  ☆20Updated 5 years ago