Alternatives and similar repositories for solidity-cfg-builder

Users that are interested in solidity-cfg-builder are comparing it to the libraries listed below

• gordonpace / contractLarva

  View on GitHub
  Runtime verification tool for Solidity smart contracts.
  ☆35Mar 29, 2023Updated 2 years ago
• iamdefinitelyahuman / py-solc-ast

  View on GitHub
  A tool for exploring the solc abstract syntax tree
  ☆38Mar 20, 2024Updated last year
• kupl / SmartFix-Artifact

  View on GitHub
  ☆13Oct 10, 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
• 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
• agurfinkel / spacer-on-jupyter

  View on GitHub
  ☆20May 11, 2023Updated 2 years ago
• bitpshr / melfina

  View on GitHub
  Melfina is a proof-of-thought smart contract built on the Ethereum blockchain.
  ☆18Oct 17, 2021Updated 4 years ago
• Finhaven / whitepaper-club

  View on GitHub
  Repo for the Finhaven whitepaper reading sessions
  ☆19Apr 11, 2018Updated 7 years ago
• chao-peng / SIF

  View on GitHub
  Solidity code instrumentation and analysis framework.
  ☆53Jun 27, 2020Updated 5 years ago
• reactive-systems / syfco

  View on GitHub
  Synthesis Format Conversion Tool
  ☆26Nov 18, 2025Updated 2 months ago
• duytai / sGuard

  View on GitHub
  ☆31Dec 11, 2022Updated 3 years ago
• xiaoly8 / SCRepair

  View on GitHub
  ☆25Jun 21, 2022Updated 3 years ago
• 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
• DependableSystemsLab / SolidiFI-benchmark

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

  View on GitHub
  SOLTIX: Scalable automated framework for testing Solidity compilers.
  ☆37Aug 13, 2021Updated 4 years ago
• kframework / vyper-semantics

  View on GitHub
  KVyper: Semantics of Vyper in K
  ☆41Aug 12, 2018Updated 7 years ago
• crytic / evm_cfg_builder

  View on GitHub
  EVM CFG recovery
  ☆126Jun 29, 2023Updated 2 years ago
• nevillegrech / MadMax

  View on GitHub
  Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
  ☆137Dec 7, 2022Updated 3 years ago
• rettigs / clonaria

  View on GitHub
  A Terraria clone in Python, just for fun
  ☆10Jun 7, 2020Updated 5 years ago
• VerifiableRobotics / slugs

  View on GitHub
  SmalL bUt Complete GROne Synthesizer
  ☆43Aug 22, 2024Updated last year
• centrifuge / zk-nft-demo-contract

  View on GitHub
  ☆35Oct 28, 2019Updated 6 years ago
• costa-group / EthIR

  View on GitHub
  A framework for high-level Analysis of Ethereum Bytecode
  ☆22Jan 23, 2026Updated 3 weeks ago
• lanl / c2dwave

  View on GitHub
  Translate a subset of C to Verilog
  ☆11May 8, 2019Updated 6 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• gcf3711 / sGuardPlus

  View on GitHub
  An automated smart contract vulnerability repair tool
  ☆12Aug 15, 2023Updated 2 years ago
• kristoferB / SP

  View on GitHub
  Sequence Planner
  ☆12Nov 17, 2017Updated 8 years ago
• berkeley-abc / mvsis

  View on GitHub
  A copy of the latest version of MVSIS
  ☆12Apr 18, 2021Updated 4 years ago
• lxfontes / tcp2sctp

  View on GitHub
  Diameter TCP to SCTP proxy
  ☆13Feb 4, 2012Updated 14 years ago
• wuhongjun15 / Peculiar

  View on GitHub
  ☆45Jul 29, 2021Updated 4 years ago
• commons-stack / awesome-bonding

  View on GitHub
  A curated list of token bonding curve code and resources.
  ☆11Sep 4, 2020Updated 5 years ago
• murxla / murxla

  View on GitHub
  A model-based API Fuzzer for SMT Solvers.
  ☆14Oct 14, 2025Updated 4 months ago
• oceanprotocol-archive / osmosis-driver-interface

  View on GitHub
  💧A membrane between the decentralized world and centralized world
  ☆12Jan 5, 2021Updated 5 years ago
• chenweiphd / OpenEDA-ChipGPT-Hub

  View on GitHub
  ☆12Jun 22, 2023Updated 2 years ago
• masc-ucsc / anubis

  View on GitHub
  The ANUBIS benchmark suite for Incremental Synthesis
  ☆12Dec 15, 2020Updated 5 years ago
• kcrypt / scala-biginteger

  View on GitHub
  BigInteger for scala with very fast modPow
  ☆10Updated this week
• pRoy24 / katanapools

  View on GitHub
  Bancor advanced trading and liquidity widget. Won 1st prize in Bancor Trading and liquidity widget challenge.
  ☆11Jan 24, 2023Updated 3 years ago
• fm-polimi / zot

  View on GitHub
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Jan 11, 2021Updated 5 years ago
• input-output-hk / armadillo

  View on GitHub
  Declarative, type-safe json-rpc endpoints library
  ☆10Sep 26, 2023Updated 2 years ago
• anonymous123rainy / LiResolver

  View on GitHub
  ☆11Feb 16, 2023Updated 2 years ago