forefy / eburgerLinks
eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.
☆37Updated 4 months ago
Alternatives and similar repositories for eburger
Users that are interested in eburger are comparing it to the libraries listed below
Sorting:
- ☆94Updated last year
- Simple Rust script for finding colliding 4byte function selectors☆59Updated 2 years ago
- ☆49Updated 2 years ago
- Diagrams for Solidity contracts☆47Updated last year
- ☆38Updated 2 years ago
- Identify flashloan bots in multiple chains☆34Updated 2 years ago
- ☆107Updated last year
- ☆46Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆55Updated last year
- unhacked challenge 1: reaper☆41Updated 3 years ago
- Optimised Uniswap V2 contracts written in Huff language☆111Updated last year
- ☆66Updated 2 years ago
- Solidity Audit Report Generator☆84Updated 2 years ago
- Console.log utility for debugging huff contracts☆69Updated last year
- A markdown based template for writing spearbit reports☆68Updated 3 years ago
- Foundry + Yul template☆97Updated last year
- A Solidity code search tool with built-in static analysis detection☆78Updated last year
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆61Updated 4 years ago
- SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.☆92Updated 2 years ago
- ☆34Updated 5 months ago
- Solidity challenges for EthernautDAO☆43Updated 2 years ago
- ☆102Updated 3 years ago
- A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.☆39Updated 2 years ago
- ☆55Updated 2 months ago
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆96Updated 6 months ago
- ☆46Updated 2 years ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- ☆35Updated 2 years ago
- List of Halmos resources.☆57Updated 8 months ago
- Repository containing past audit reports☆55Updated last year