Alternatives and similar repositories for smashing-smart-contracts

Users that are interested in smashing-smart-contracts are comparing it to the libraries listed below

• muellerberndt / solfuzz

  View on GitHub
  Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.
  ☆32Jan 24, 2023Updated 3 years ago
• muellerberndt / laser-ethereum

  View on GitHub
  Symbolic virtual machine for Ethereum
  ☆69May 29, 2018Updated 7 years ago
• muellerberndt / awesome-mythx-smart-contract-security-tools

  View on GitHub
  A curated list of resources and tools for the MythX smart contract security API
  ☆254Jun 15, 2020Updated 5 years ago
• muellerberndt / scrooge-mcetherface

  View on GitHub
  Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically…
  ☆153Apr 28, 2023Updated 2 years ago
• usyd-blockchain / vandal

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

  View on GitHub
  ☆242Feb 28, 2022Updated 3 years ago
• ConsenSysDiligence / mythril

  View on GitHub
  Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts buil…
  ☆4,200Updated this week
• muellerberndt / sabre

  View on GitHub
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆59Sep 9, 2020Updated 5 years ago
• VeraBE / VeriMan

  View on GitHub
  Analysis tool for Solidity smart contracts. Prototype.
  ☆35Nov 7, 2023Updated 2 years ago
• ivicanikolicsg / MAIAN

  View on GitHub
  MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
  ☆566Oct 22, 2023Updated 2 years ago
• dmuhs / teatime

  View on GitHub
  An RPC attack framework for Blockchain nodes.
  ☆95Jul 16, 2023Updated 2 years ago
• GregVardz / LessRekt

  View on GitHub
  ☆16Jun 21, 2021Updated 4 years ago
• eth-sri / soltix

  View on GitHub
  SOLTIX: Scalable automated framework for testing Solidity compilers.
  ☆37Aug 13, 2021Updated 4 years ago
• jonasnick / eth-neg-value-tx

  View on GitHub
  Ethereum Bug Bounty Submission: Sending Negative Value Transactions
  ☆19Feb 3, 2022Updated 4 years ago
• cyberFund / weekly

  View on GitHub
  Weekly industry summary
  ☆17Apr 27, 2018Updated 7 years ago
• enzymefinance / oyente

  View on GitHub
  An Analysis Tool for Smart Contracts
  ☆1,341Jan 19, 2023Updated 3 years ago
• raineorshine / solgraph

  View on GitHub
  Visualize Solidity control flow for smart contract security analysis. ⇆
  ☆1,035Dec 4, 2022Updated 3 years ago
• wanseob / solidity-bloom-filter

  View on GitHub
  256 bit bloom filter implementation written in Solidity
  ☆39Mar 30, 2019Updated 6 years ago
• duaraghav8 / solparse

  View on GitHub
  Solidity Parser for Solium
  ☆29Apr 17, 2023Updated 2 years ago
• cleanunicorn / karl

  View on GitHub
  Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
  ☆318Feb 3, 2026Updated last week
• crytic / rattle

  View on GitHub
  evm binary static analysis
  ☆368Sep 4, 2023Updated 2 years ago
• msuiche / porosity

  View on GitHub
  *UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts
  ☆937Jan 10, 2019Updated 7 years ago
• pirapira / vmtrace_visualizer

  View on GitHub
  A program that annotates a vm trace with dataflow information
  ☆34Mar 24, 2022Updated 3 years ago
• crytic / ethersplay

  View on GitHub
  EVM dissassembler
  ☆860Sep 4, 2023Updated 2 years ago
• hashcloak / Meson

  View on GitHub
  The monorepo for Meson project
  ☆11May 30, 2024Updated last year
• 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
• ethereum / evmlab

  View on GitHub
  Utilities for interacting with the Ethereum virtual machine
  ☆382May 7, 2019Updated 6 years ago
• sec-bit / awesome-buggy-erc20-tokens

  View on GitHub
  A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
  ☆631Feb 15, 2024Updated 2 years ago
• brockelmore / rust-cevm

  View on GitHub
  CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing
  ☆46Sep 8, 2021Updated 4 years ago
• tinchoabbate / defcon28-talk-challenge

  View on GitHub
  Smart contract hacking challenge introduced in my talk at DEFCON 28 - Blockchain Village
  ☆23Aug 13, 2021Updated 4 years ago
• ethereum / evmcodegen

  View on GitHub
  A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine
  ☆26Oct 28, 2018Updated 7 years ago
• crytic / not-so-smart-contracts

  View on GitHub
  Examples of Solidity security issues
  ☆2,226Feb 24, 2023Updated 2 years ago
• EricR / sol-function-profiler

  View on GitHub
  Solidity Contract Function Profiler
  ☆80Oct 14, 2018Updated 7 years ago
• ConsenSysDiligence / surya

  View on GitHub
  A set of utilities for exploring Solidity contracts
  ☆1,174Jun 26, 2025Updated 7 months ago
• cwcrypto / arwen-eth-contracts

  View on GitHub
  Ethereum Smart Contracts for Arwen payment channels
  ☆14Feb 12, 2022Updated 4 years ago
• Veridise / Picus

  View on GitHub
  Automated verification of uniqueness property for ZKP circuits
  ☆93Mar 13, 2024Updated last year
• gcolvin / evm-drag-race

  View on GitHub
  EVM performance tests for a range of clients
  ☆24Dec 27, 2019Updated 6 years ago
• ConsenSysDiligence / evm-analyzer-benchmark-suite

  View on GitHub
  A benchmark suite for evaluating the precision of EVM code analysis tools.
  ☆41Aug 31, 2018Updated 7 years ago
• GNSPS / 2DProxy

  View on GitHub
  A Solidity delegate call proxy that also `delegatecall`'s its constructor
  ☆22Sep 21, 2018Updated 7 years ago