plotchy / evm-cfg
Symbolic stack CFG generator for EVM
☆184Updated 3 months ago
Alternatives and similar repositories for evm-cfg
Users that are interested in evm-cfg are comparing it to the libraries listed below
Sorting:
- Pre-built security properties for commonly forked DeFi protocols☆195Updated last year
- ☆282Updated 9 months ago
- ☆165Updated last year
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆106Updated 4 months ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆120Updated 8 months ago
- Foundry Test Suit to test weird ERC20 behavior☆238Updated 2 years ago
- Resources for the budding field of risk modelling and analysis in DeFi☆156Updated last year
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆126Updated 8 months ago
- A DSL for generating optimal EVM bytecode☆189Updated 6 months ago
- A forkable template repo for easily writing and testing toy contracts☆148Updated last year
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆208Updated last year
- Hacks/Vulns/Audits Compilation☆164Updated 8 months ago
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆89Updated 7 months ago
- ☆131Updated 11 months ago
- Diff EVM-compatible chains in a friendly format☆284Updated 2 months ago
- A simple template to perform whitehacks safely☆178Updated last year
- A smart contract security search utility☆74Updated 4 months ago
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆156Updated 3 months ago
- Smart Contract Property-Based Testing Framework☆112Updated last month
- 🍋 An open dataset containing smart contract audit issues from various sources.☆218Updated last year
- Replay and track historical state☆206Updated 3 months ago
- A tool that performs extraction of storage layouts based on EVM bytecode.☆140Updated last year
- Use cursed ERC20s in foundry unit tests☆145Updated 2 years ago
- 🚀 🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆212Updated this week
- template for efficient paradigm ctf testing & scripts☆154Updated last year
- ☆226Updated 2 years ago
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆212Updated 8 months ago
- 10 More EVM Puzzles☆170Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆137Updated 5 months ago
- ☆102Updated 2 years ago