leonardoalt / dl_symb_exec_sol
Symbolic execution engine written in Solidity, based on Difference Logic.
☆108Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for dl_symb_exec_sol
- Tools for Yul.☆137Updated last year
- ☆90Updated 3 years ago
- readable evm state diffs, enumerate full contract storage☆134Updated last year
- ☆75Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆228Updated last year
- Simulate cross-chain protocols txs, easily.☆139Updated 3 months ago
- ☆88Updated 5 months ago
- Yearn Strategy Mix Using Foundry Framework☆104Updated last year
- The most optimized ERC20 & Wrapped Ether implementation.☆141Updated 10 months ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated last year
- ☆103Updated 2 years ago
- An opinionated template for Foundry projects.☆74Updated 5 months ago
- Foundry + Yul template☆94Updated 10 months ago
- A collection of gas optimizations for the EVM.☆90Updated 2 years ago
- A list of common Solidity optimization tips and myths.☆85Updated 2 years ago
- Code for Foundry Seminar☆114Updated 2 years ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆122Updated last year
- ☆107Updated 3 weeks ago
- ☆162Updated last year
- ☆98Updated last year
- Simple Rust script for finding colliding 4byte function selectors☆58Updated last year
- ☆130Updated 2 years ago
- A data structures library that does memory management for you☆219Updated last year
- Dotenv parser for solidity & foundry☆158Updated 2 years ago
- Solidity Function Selector Miner (AVX2 + Multithreaded)☆68Updated 9 months ago
- Create Blacksmiths to use the Foundry. Blacksmith is a 'User Contract' generator. User contracts can interface with the test contracts in…☆102Updated 2 years ago
- ☆117Updated 2 months ago
- Solidity snippets too edgy to be in Solady☆111Updated 2 months ago
- SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.☆90Updated last year
- Contracts for my flashloan workshop/lecture at UPenn☆76Updated 2 years ago