Alternatives and similar repositories for evm-symbolic-execution

Users that are interested in evm-symbolic-execution are comparing it to the libraries listed below

• EVM-SMT / solver

  View on GitHub
  proof first, evm specific smt solver
  ☆69Apr 11, 2022Updated 3 years ago
• WilfredTA / symbolic-stack-machines

  View on GitHub
  Library for building symbolically executable stack-based virtual machines
  ☆75Oct 20, 2022Updated 3 years ago
• foundry-rs / getfoundry.sh

  View on GitHub
  Official Foundry landing page
  ☆17Jun 28, 2023Updated 2 years ago
• zac-williamson / StringUtils

  View on GitHub
  blah
  ☆17Sep 20, 2021Updated 4 years ago
• brockelmore / graphstack

  View on GitHub
  ☆55Oct 4, 2022Updated 3 years ago
• ethDreamer / json_rpc_snoop

  View on GitHub
  JSON-RPC endpoint proxy that dumps requests/responses for debugging
  ☆30Aug 23, 2023Updated 2 years ago
• PossibilityResult / Decentralized-Auctions

  View on GitHub
  ☆12Jan 30, 2023Updated 3 years ago
• 0xkarmacoma / pinball-ctf

  View on GitHub
  ☆27Oct 29, 2021Updated 4 years ago
• mds1 / solidity-fuzzing-benchmarks

  View on GitHub
  Solidity contracts and tests used to benchmark performance of fuzzers
  ☆21Jan 24, 2022Updated 4 years ago
• kmbarry1 / fund-eq-of-dai-certora

  View on GitHub
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Jun 4, 2024Updated last year
• gio256 / erigon-db

  View on GitHub
  Fully typed access to the Erigon db in rust
  ☆104Aug 23, 2022Updated 3 years ago
• 0xalpharush / static-analysis-and-compilers

  View on GitHub
  Eclectic notes on static analysis and compilers
  ☆47Aug 4, 2022Updated 3 years ago
• WilfredTA / ser

  View on GitHub
  Symbolic EVM in Rust (WIP)
  ☆86Dec 23, 2023Updated 2 years ago
• hrkrshnn / notes

  View on GitHub
  ☆51Sep 11, 2023Updated 2 years ago
• 0xJepsen / Ramanujan-Algorithm

  View on GitHub
  This is a solidity implementation of extremely efficient approximations for PI
  ☆28May 13, 2022Updated 3 years ago
• paradigmxyz / paradigm-ctf-2022-teaser

  View on GitHub
  https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code
  ☆40Jan 18, 2022Updated 4 years ago
• wolflo / forge-middleware

  View on GitHub
  foundry + ethers
  ☆22Feb 2, 2022Updated 4 years ago
• transmissions11 / publications

  View on GitHub
  Collection of reports/articles/publications/etc of mine.
  ☆50May 26, 2022Updated 3 years ago
• CrocSwap / blog-posts

  View on GitHub
  ☆30Nov 21, 2022Updated 3 years ago
• transmissions11 / reth-exex-walltime

  View on GitHub
  wall time exex for reth
  ☆12Aug 5, 2024Updated last year
• 0xinugami / aztec-lido-bridge

  View on GitHub
  ☆12Feb 3, 2022Updated 4 years ago
• thingtheory / vote-escrow-nft

  View on GitHub
  ☆11Jan 25, 2022Updated 4 years ago
• with-backed / papr-liquidation-bot-rs

  View on GitHub
  ☆14May 3, 2023Updated 2 years ago
• michaelneuder / optimistic-relay-documentation

  View on GitHub
  ☆33Mar 8, 2023Updated 2 years ago
• spearbit / echidna-spearbit-demo

  View on GitHub
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆31Jul 9, 2022Updated 3 years ago
• realbigsean / mock-relay

  View on GitHub
  ☆21Sep 27, 2023Updated 2 years ago
• ControlCplusControlV / Scribe

  View on GitHub
  Minimal Yul Transpilation to the Miden VM
  ☆52Jan 27, 2023Updated 3 years ago
• virtualjpeg / blocky

  View on GitHub
  ☆36Feb 8, 2022Updated 4 years ago
• argotorg / yul-isabelle

  View on GitHub
  ☆41Nov 21, 2022Updated 3 years ago
• fxfactorial / bsc-evmone

  View on GitHub
  evmone inside bsc, start from here and adapt
  ☆35Apr 14, 2022Updated 3 years ago
• sky-ecosystem / mips-best-practices

  View on GitHub
  A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).
  ☆44Feb 13, 2022Updated 4 years ago
• leonardoalt / dl_symb_exec_sol

  View on GitHub
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Oct 6, 2022Updated 3 years ago
• brockelmore / contract_grabber

  View on GitHub
  Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor
  ☆30May 7, 2022Updated 3 years ago
• hrkrshnn / solmate-math-fuzz

  View on GitHub
  ☆35Jul 8, 2022Updated 3 years ago
• gakonst / forge-benchmarks

  View on GitHub
  ☆15Dec 15, 2021Updated 4 years ago
• yieldprotocol / vault-interfaces-DEPRECATED

  View on GitHub
  Interface files for the vault contracts
  ☆10Jul 4, 2022Updated 3 years ago
• refcell / evm.rs

  View on GitHub
  Barebones Rust EVM Implementation
  ☆12Feb 9, 2022Updated 4 years ago
• darkforestry / amms-reth

  View on GitHub
  ☆14Aug 29, 2024Updated last year
• gakonst / save-noun11

  View on GitHub
  ☆15May 6, 2022Updated 3 years ago