The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
☆107Dec 30, 2022Updated 3 years ago
Alternatives and similar repositories for EthBMC
Users that are interested in EthBMC are comparing it to the libraries listed below
Sorting:
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆60Jun 5, 2022Updated 3 years ago
- unhacked challenge 1: reaper☆42Sep 10, 2022Updated 3 years ago
- Symbolic EVM in Rust (WIP)☆86Dec 23, 2023Updated 2 years ago
- MEV Olympics☆44Dec 1, 2024Updated last year
- A symbolic execution engine for EVM smart contract binaries.☆118Dec 2, 2025Updated 2 months ago
- Real-time bidding API scaffold for MevWallet transactions☆18Mar 5, 2023Updated 2 years ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆102Oct 11, 2023Updated 2 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- Example of the whitehack for Curve exploit 30/07/23☆19Aug 3, 2023Updated 2 years ago
- A binary lifter and analysis framework for Ethereum smart contracts☆357Feb 5, 2026Updated 3 weeks ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆337Mar 26, 2025Updated 11 months ago
- Static program analysis framework for Ethereum smart contract bytecode.☆168Aug 5, 2021Updated 4 years ago
- ☆41Jan 22, 2023Updated 3 years ago
- RealWorld CTF 3rd billboard challenge & writeup☆27Jan 6, 2023Updated 3 years ago
- ☆11Nov 18, 2022Updated 3 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆137Dec 7, 2022Updated 3 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- solve scripts for all 3 of @0xhana's paradigm ctf challs!☆20Feb 12, 2023Updated 3 years ago
- Implementation of a differential fuzzer for Ethereum Virtual Machines☆99Jul 3, 2025Updated 7 months ago
- A tool that detects honeypots in Ethereum smart contracts (USENIX 2019).☆102Mar 7, 2023Updated 2 years ago
- ☆106Feb 5, 2026Updated 3 weeks ago
- StarkNet smart contract fuzzer☆81Jul 8, 2022Updated 3 years ago
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- Mutation testing tool for circom☆17Jul 4, 2023Updated 2 years ago
- Symbolic and concrete EVM execution engine☆329Updated this week
- Tools for Yul.☆138Mar 29, 2023Updated 2 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆141Oct 2, 2025Updated 4 months ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆82Feb 12, 2023Updated 3 years ago
- An MEV back-running template for ethers-rs☆74Apr 17, 2025Updated 10 months ago
- Solidity LSP server written in rust☆55Feb 25, 2025Updated last year
- a safety verifier for Solidity smart contracts☆96Jan 17, 2023Updated 3 years ago
- ☆27Aug 7, 2023Updated 2 years ago
- 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
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- EVM CFG recovery☆126Jun 29, 2023Updated 2 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆33Oct 31, 2023Updated 2 years ago
- A barebones framework for hand tuned smart contracts in pure opcodes.☆48Aug 22, 2022Updated 3 years ago