plotchy / evm-cfg
Symbolic stack CFG generator for EVM
☆183Updated last month
Alternatives and similar repositories for evm-cfg:
Users that are interested in evm-cfg are comparing it to the libraries listed below
- Pre-built security properties for commonly forked DeFi protocols☆192Updated last year
- A simple template to perform whitehacks safely☆177Updated last year
- A forkable template repo for easily writing and testing toy contracts☆147Updated last year
- Replay and track historical state☆206Updated 2 months ago
- ☆281Updated 8 months ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆207Updated last year
- Resources for the budding field of risk modelling and analysis in DeFi☆156Updated 11 months ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆124Updated 6 months ago
- ☆164Updated last year
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆212Updated 7 months ago
- template for efficient paradigm ctf testing & scripts☆154Updated last year
- Use cursed ERC20s in foundry unit tests☆147Updated 2 years ago
- ☆130Updated 9 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- 🧠 A scriptable semantic grep utility for solidity☆144Updated 7 months ago
- Smart Contract Property-Based Testing Framework☆109Updated last week
- Foundry Test Suit to test weird ERC20 behavior☆238Updated 2 years ago
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆90Updated 6 months ago
- Hacks/Vulns/Audits Compilation☆162Updated 6 months ago
- Diff EVM-compatible chains in a friendly format☆285Updated last month
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆104Updated 3 months ago
- A DSL for generating optimal EVM bytecode☆187Updated 4 months ago
- Python wrapper around https://github.com/bluealloy/revm/ using PyO3☆174Updated 8 months ago
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆152Updated 2 months ago
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆211Updated 3 weeks ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆118Updated 7 months ago
- A smart contract security search utility☆74Updated 3 months ago
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- 🍋 An open dataset containing smart contract audit issues from various sources.☆216Updated last year
- A tool that performs extraction of storage layouts based on EVM bytecode.☆139Updated last year