Alternatives and similar repositories for EtherSolve

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

• fseclab-osaka / eth2vec

  View on GitHub
  ☆37Mar 26, 2021Updated 4 years ago
• crytic / evm_cfg_builder

  View on GitHub
  EVM CFG recovery
  ☆126Jun 29, 2023Updated 2 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
• 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
• MANDO-Project / ge-sc

  View on GitHub
  MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabili…
  ☆35Nov 24, 2023Updated 2 years ago
• Zdddzz / smartcontract

  View on GitHub
  Ethereum smart contract similarity measurement at the basic block level based on triplet netwok
  ☆11Feb 24, 2021Updated 4 years ago
• Demonhero0 / DeFiWarder

  View on GitHub
  ☆12Sep 19, 2024Updated last year
• Jiachi-Chen / DefectChecker

  View on GitHub
  ☆30Dec 28, 2024Updated last year
• uni-due-syssec / efcf-framework

  View on GitHub
  EF/CF - Extremely Fast smart Contract Fuzzing
  ☆70Jul 11, 2023Updated 2 years ago
• beyondacm / SmartEmbed

  View on GitHub
  A Tool for clone detection and bug detection in smart contracts
  ☆106May 13, 2023Updated 2 years ago
• DependableSystemsLab / SolidiFI-benchmark

  View on GitHub
  Repository of benchmarks to evaluate Solidity Smart contract analysis tools
  ☆73Jun 16, 2022Updated 3 years ago
• shuo-young / BlockWatchdog

  View on GitHub
  Attacker Contract Identifier Through Static Dataflow Analysis
  ☆26Oct 15, 2025Updated 4 months ago
• wesleyjtann / Safe-SmartContracts

  View on GitHub
  A Sequence Learning Approach to Detecting Vulnerabilities
  ☆48Nov 17, 2021Updated 4 years ago
• nescio007 / teether

  View on GitHub
  ☆137Jul 27, 2021Updated 4 years ago
• LinZhao89 / Ethereum-analysis

  View on GitHub
  ☆12Aug 7, 2023Updated 2 years ago
• DependableSystemsLab / SolidiFI

  View on GitHub
  SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection
  ☆82Feb 3, 2024Updated 2 years ago
• Messi-Q / GraphDeeSmartContract

  View on GitHub
  Smart contract vulnerability detection using graph neural network (DR-GCN).
  ☆156Feb 28, 2023Updated 2 years ago
• StefanosChaliasos / sc-defi-security

  View on GitHub
  ☆17Jan 23, 2024Updated 2 years ago
• chyanju / __archived__Medjai

  View on GitHub
  A Symbolic Execution Tool for Cairo
  ☆15Jul 25, 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
• Messi-Q / GNNSCVulDetector

  View on GitHub
  Smart Contract Vulnerability Detection Using Graph Neural Networks (IJCAI-20 Accepted)
  ☆148Feb 28, 2023Updated 2 years ago
• Messi-Q / ReChecker

  View on GitHub
  ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models
  ☆57May 11, 2021Updated 4 years ago
• Zellic / solidity-parser

  View on GitHub
  Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…
  ☆68Dec 9, 2025Updated 2 months ago
• toolstemp / IAcontract

  View on GitHub
  ☆15Aug 27, 2022Updated 3 years ago
• Messi-Q / Smart-Contract-Dataset

  View on GitHub
  Datasets for evaluating smart contract security analysis tools ( continuously updating... )
  ☆197Aug 21, 2023Updated 2 years ago
• MANDO-Project / ge-sc-machine

  View on GitHub
  MANDO-GURU, a deep graph learning-based tool, aims to accurately detect vulnerabilities in smart contract source code at both coarse-grai…
  ☆30Feb 28, 2023Updated 2 years ago
• christoftorres / Elysium

  View on GitHub
  A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).
  ☆27Nov 4, 2022Updated 3 years ago
• DarkFlorist / bouquet

  View on GitHub
  Turn your Interceptor simulations into MEV bundles.
  ☆18Aug 27, 2025Updated 5 months ago
• Jiachi-Chen / TSE-ContractDefects

  View on GitHub
  This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"
  ☆17Dec 28, 2024Updated last year
• smartbugs / smartbugs

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

  View on GitHub
  ☆68Aug 17, 2022Updated 3 years ago
• xf97 / HuangGai

  View on GitHub
  HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281…
  ☆44Dec 15, 2021Updated 4 years ago
• duytai / sFuzz

  View on GitHub
  ☆102Mar 24, 2022Updated 3 years ago
• smartbugs / smartbugs-wild

  View on GitHub
  This repository contains 47,398 smart contracts extracted from the Ethereum network.
  ☆193Jun 3, 2020Updated 5 years ago
• mkurzmann / soldec

  View on GitHub
  A decompiler for EVM Bytecode to Solidity Code (based on Erays)
  ☆24May 27, 2020Updated 5 years ago
• Zodomo / AlignmentVault

  View on GitHub
  AlignmentVault is a composable primitive that allows any contract or EOA to permanently allocate ETH to deepening the liquidity of a targ…
  ☆27Nov 22, 2024Updated last year
• Messi-Q / GPSCVulDetector

  View on GitHub
  Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)
  ☆120Feb 28, 2023Updated 2 years ago
• jtriley2p / vy-deepdive

  View on GitHub
  Vyper Deep Dive Notes and Scripts
  ☆25Aug 4, 2023Updated 2 years ago