forefy / eburger
eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.
☆30Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for eburger
- Identify flashloan bots in multiple chains☆33Updated 2 years ago
- ☆35Updated last year
- Diagrams for Solidity contracts☆43Updated 8 months ago
- APG (Auditor Profile Generator)☆35Updated 11 months ago
- ☆46Updated 8 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆60Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆30Updated this week
- ☆46Updated last year
- Series of CTF challenges based off real world smart contract vulnerabilities.☆26Updated 7 months ago
- ☆38Updated last year
- Solidity static analyzer☆82Updated 11 months ago
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆48Updated 2 weeks ago
- Simple Rust script for finding colliding 4byte function selectors☆58Updated last year
- ☆41Updated last month
- yAudit Completed Reports☆27Updated this week
- on-chain liquidation bot built with Huff language☆101Updated 5 months ago
- List of Halmos resources.☆48Updated last month
- Solidity Audit Report Generator☆84Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 3 months ago
- ☆63Updated last year
- ☆83Updated 4 months ago
- Collection of past CTFs to play and practice locally.☆50Updated 3 months ago
- ☆88Updated 5 months ago
- Scrapper for Immunefi☆43Updated 5 months ago
- ☆54Updated 2 years ago
- Foundry + Yul template☆94Updated 10 months ago
- Optimised Uniswap V2 contracts written in Huff language☆111Updated 6 months ago
- ☆43Updated last year
- A static analyzer for Solidity, built upon regex and ASTs.☆25Updated 9 months ago