edb-rs / edbLinks
EDB: The Ethereum Project Debugger
☆338Updated last week
Alternatives and similar repositories for edb
Users that are interested in edb are comparing it to the libraries listed below
Sorting:
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆104Updated 8 months ago
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆246Updated 10 months ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆127Updated last year
- A modular tool to track anything on the EVM chain, including real-time tracking and alerts.☆171Updated 6 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆140Updated 2 months ago
- Symbolic stack CFG generator for EVM☆188Updated 10 months ago
- Generate invariants for Foundry projects with LLM☆102Updated last year
- ☆86Updated last year
- An experimental MCP Server for foundry built for Solidity devs☆219Updated 4 months ago
- Cuda implementation of EVM bytecode executor☆116Updated 11 months ago
- a collection of EVM tracing information for easy reference☆170Updated 2 years ago
- Challenges and Solutions of Blaz CTF 2023☆45Updated 2 years ago
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆56Updated 5 months ago
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆218Updated last week
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆67Updated 6 months ago
- My swiss army knife for reversing EVM bytecodes (super experimental)☆126Updated 2 weeks ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆261Updated last week
- Fine-tuning GPT for Smart Contract Auditing☆166Updated 2 years ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆236Updated 5 months ago
- Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum…☆339Updated 2 weeks ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆229Updated last year
- A tool that performs extraction of storage layouts based on EVM bytecode.☆148Updated last year
- Using mutations to improve specs and test suites☆199Updated 6 months ago
- evm toolkit☆359Updated last year
- Diff EVM-compatible chains in a friendly format☆290Updated 9 months ago
- Solidity compiler tooling by @NomicFoundation☆272Updated this week
- Replay and track historical state☆218Updated 10 months ago
- A set of exercises to practice Yul☆122Updated 3 months ago
- Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust☆488Updated last week
- Puzzles used in the 2022 Paradigm CTF☆390Updated 3 years ago