Alternatives and similar repositories for ProMutator:

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

• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 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
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• crytic / diffusc
  Experimental tool to ease the review of smart contracts upgrades
  ☆77Updated 11 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆73Updated 2 months ago
• JoranHonig / awesome-web3-ai-security
  ☆37Updated 9 months ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 2 years ago
• fxfactorial / evm-dev-station
  Hands on Blockchain
  ☆43Updated last year
• crytic / roundme
  ☆91Updated 9 months ago
• crytic / damn-vulnerable-defi-echidna
  ☆13Updated last year
• costa-group / gasol-optimizer
  ☆107Updated this week
• crytic / optik
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆93Updated 6 months ago
• viperproject / 2vyper
  A static verifer for Ethereum Smart Contracts written in Vyper
  ☆51Updated 2 years ago
• 0xKitsune / Foundry-Huff
  A Foundry template to compile and test Huff contracts.
  ☆52Updated 2 years ago
• Consensys / diligence-fuzzing
  ☆37Updated last month
• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 2 years ago
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆78Updated 2 years ago
• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆62Updated 2 years ago
• runtimeverification / kontrol
  ☆65Updated this week
• kovart / forta-attack-simulation
  🦠🔬 Forta bot that detects deployment of smart contracts containing exploits
  ☆50Updated last year
• kadenzipfel / bytepeep
  Minimal bytecode peephole optimizer
  ☆126Updated last month
• emilianobonassi / bsc-hack-analysis-2022-10-06
  ☆21Updated 2 years ago
• statechannels / bytecode-debugger
  A simple EVM bytecode debugger
  ☆19Updated 3 years ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆227Updated last year
• hacxyk / hacxyk-lab
  Hacxyk Lab -- A sandboxed playground to exploit Ethereum contracts on a mainnet fork
  ☆69Updated 2 years ago
• MrToph / ctf-lending
  ☆98Updated 2 years ago
• jtriley2p / offensive_vyper
  Vyper Based Capture The Flag Challenges
  ☆35Updated 2 years ago
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆45Updated 2 years ago
• iphelix / euler-exploit-poc
  ☆48Updated last year