eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.
☆36Nov 22, 2025Updated 3 months ago
Alternatives and similar repositories for eburger
Users that are interested in eburger are comparing it to the libraries listed below
Sorting:
- ☆46Mar 8, 2024Updated last year
- Series of CTF challenges based off real world smart contract vulnerabilities.☆29Apr 5, 2024Updated last year
- Casual Glider guides and tips☆34Jan 3, 2025Updated last year
- Low Noise Semgrep Security Rules☆22Feb 6, 2025Updated last year
- A Solidity code search tool with built-in static analysis detection☆74Jul 20, 2024Updated last year
- A repo to for sharing information on Substrate security☆20Feb 19, 2024Updated 2 years ago
- ☆103Nov 25, 2025Updated 3 months ago
- Smart Contract Property-Based Testing Framework☆146Feb 10, 2026Updated 2 weeks ago
- ☆137Dec 23, 2025Updated 2 months ago
- Hunt for common bad practices in Solidity smart contracts !☆123May 9, 2023Updated 2 years ago
- Fuzzing solmate with medusa☆10Aug 14, 2023Updated 2 years ago
- Solidity CTF challenge from BSides TLV 2022☆14Jul 8, 2022Updated 3 years ago
- Observations and tips checklist for auditing protocols on multiple chains 🧐☆710Feb 4, 2026Updated 3 weeks ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆167Jul 14, 2022Updated 3 years ago
- Solidity language support & local node testing for VS Code☆52Nov 24, 2025Updated 3 months ago
- Experimental tool to ease the review of smart contracts upgrades☆79Mar 25, 2024Updated last year
- Foundry Test Suit to test weird ERC20 behavior☆235Mar 23, 2023Updated 2 years ago
- Web3 Security Toolbox☆73Apr 29, 2024Updated last year
- DeFiVulnLabsCosmWasm☆51Aug 22, 2023Updated 2 years ago
- Pre-built security properties for commonly forked DeFi protocols☆196Nov 7, 2023Updated 2 years ago
- Replay and track historical state☆218Jan 31, 2025Updated last year
- generate a state machine of smart contracts☆15May 17, 2023Updated 2 years ago
- Immunefi Contract DB - Search Bugs☆34Dec 4, 2024Updated last year
- A non production-ready flash loan program that showcase the use of instruction introspection with Pinocchio.☆15Jul 19, 2025Updated 7 months ago
- Example tests for exploring upgradeable contracts with Foundry☆13Nov 4, 2022Updated 3 years ago
- ☆18Sep 24, 2024Updated last year
- ☆32Mar 1, 2024Updated last year
- ☆15Feb 4, 2026Updated 3 weeks ago
- A tree-sitter-grammar for cairo 1.0☆16Dec 14, 2022Updated 3 years ago
- ☆88Sep 3, 2025Updated 5 months ago
- A datasette dashboard and source code downloader for Immunefi bug bounty data☆32Jan 18, 2025Updated last year
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Nov 10, 2023Updated 2 years ago
- ☆16Aug 15, 2024Updated last year
- DEFI Focus Smart Contract Security Capture the Flag☆181Nov 8, 2022Updated 3 years ago
- ☆41May 23, 2024Updated last year
- ☆476Mar 31, 2025Updated 11 months ago
- Implementation of the tarantula fault localisation algorithm☆13May 10, 2021Updated 4 years ago
- My publicly available audit and bug reports☆18Nov 23, 2025Updated 3 months ago
- Mutation testing tool for circom☆17Jul 4, 2023Updated 2 years ago