Alternatives and similar repositories for MadMax

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

• nevillegrech / gigahorse-toolchain

  View on GitHub
  A binary lifter and analysis framework for Ethereum smart contracts
  ☆356Feb 5, 2026Updated last week
• usyd-blockchain / vandal

  View on GitHub
  Static program analysis framework for Ethereum smart contract bytecode.
  ☆168Aug 5, 2021Updated 4 years ago
• nevillegrech / gigahorse-benchmarks

  View on GitHub
  A benchmark suite (under construction) for smart contract vulnerability tools
  ☆17Jul 13, 2021Updated 4 years ago
• xf97 / SolidityCheck

  View on GitHub
  SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Et…
  ☆24Jun 28, 2021Updated 4 years ago
• smartdec / smartcheck

  View on GitHub
  SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
  ☆395May 25, 2023Updated 2 years ago
• eth-sri / verx-benchmarks

  View on GitHub
  ☆20Nov 11, 2019Updated 6 years ago
• eth-sri / securify2

  View on GitHub
  Securify v2.0
  ☆626May 25, 2025Updated 8 months ago
• christoftorres / Osiris

  View on GitHub
  A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).
  ☆65Mar 7, 2023Updated 2 years ago
• duytai / sFuzz

  View on GitHub
  ☆102Mar 24, 2022Updated 3 years ago
• christoftorres / HoneyBadger

  View on GitHub
  A tool that detects honeypots in Ethereum smart contracts (USENIX 2019).
  ☆102Mar 7, 2023Updated 2 years ago
• RUB-SysSec / EthBMC

  View on GitHub
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆107Dec 30, 2022Updated 3 years ago
• JoranHonig / vertigo

  View on GitHub
  Mutation Testing for Ethereum Smart Contracts
  ☆206Nov 21, 2023Updated 2 years ago
• rajeevgopalakrishna / Solstice

  View on GitHub
  Solstice is a security analysis framework for investigative smart contract examination. The first prototype of Solstice, code named W18 (…
  ☆20Jan 13, 2019Updated 7 years ago
• palkeo / pakala

  View on GitHub
  Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
  ☆345Jun 7, 2022Updated 3 years ago
• aashishkolluri / Ethracer

  View on GitHub
  ☆13May 27, 2019Updated 6 years ago
• crytic / rattle

  View on GitHub
  evm binary static analysis
  ☆368Sep 4, 2023Updated 2 years ago
• danhper / evm-analyzer

  View on GitHub
  Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
  ☆25Oct 31, 2020Updated 5 years ago
• gongbell / ContractFuzzer

  View on GitHub
  The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
  ☆247Dec 7, 2022Updated 3 years ago
• FuzzingLabs / octopus

  View on GitHub
  Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
  ☆488Nov 24, 2023Updated 2 years ago
• ConsenSysDiligence / daedaluzz

  View on GitHub
  Benchmark Generator for Smart-Contract Fuzzers
  ☆141Oct 2, 2025Updated 4 months ago
• chao-peng / SIF

  View on GitHub
  Solidity code instrumentation and analysis framework.
  ☆53Jun 27, 2020Updated 5 years ago
• kupl / VeriSmart-public

  View on GitHub
  a safety verifier for Solidity smart contracts
  ☆96Jan 17, 2023Updated 3 years ago
• shellygr / ECFChecker

  View on GitHub
  A dynamic checker for the ECF property incorporated into geth
  ☆15Oct 27, 2017Updated 8 years ago
• nescio007 / teether

  View on GitHub
  ☆137Jul 27, 2021Updated 4 years ago
• crytic / evm_cfg_builder

  View on GitHub
  EVM CFG recovery
  ☆126Jun 29, 2023Updated 2 years ago
• Franklinliu / InvCon-Tool

  View on GitHub
  InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!
  ☆16May 31, 2022Updated 3 years ago
• s-tikhomirov / solidity-latex-highlighting

  View on GitHub
  Include nice-looking Solidity examples into LaTeX files
  ☆117Jan 21, 2025Updated last year
• enzymefinance / oyente

  View on GitHub
  An Analysis Tool for Smart Contracts
  ☆1,341Jan 19, 2023Updated 3 years ago
• federicobond / solidity-parser-antlr

  View on GitHub
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆155Sep 5, 2020Updated 5 years ago
• smartbugs / smartbugs-results

  View on GitHub
  This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented …
  ☆78Jul 24, 2020Updated 5 years ago
• renardbebe / Smart-Contract-Benchmark-Suites

  View on GitHub
  A unified smart contract standard data set.
  ☆46Aug 23, 2021Updated 4 years ago
• 0age / RStore

  View on GitHub
  RStore - use the runtime code of metamorphic contracts for dynamic storage.
  ☆19Apr 16, 2023Updated 2 years ago
• ucsb-seclab / greed

  View on GitHub
  A symbolic execution engine for EVM smart contract binaries.
  ☆118Dec 2, 2025Updated 2 months ago
• smartbugs / smartbugs

  View on GitHub
  SmartBugs: A Framework to Analyze Ethereum Smart Contracts
  ☆660Jan 16, 2026Updated 3 weeks ago
• fuzzland / ityfuzz

  View on GitHub
  Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
  ☆1,065Dec 10, 2025Updated 2 months ago
• runtimeverification / evm-semantics

  View on GitHub
  K Semantics of the Ethereum Virtual Machine (EVM)
  ☆555Updated this week
• crytic / etheno

  View on GitHub
  Simplify Ethereum security analysis and testing
  ☆339Feb 14, 2025Updated last year
• DependableSystemsLab / eTainter

  View on GitHub
  eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.
  ☆19Jul 24, 2023Updated 2 years ago
• crytic / tayt

  View on GitHub
  StarkNet smart contract fuzzer
  ☆81Jul 8, 2022Updated 3 years ago