electisec / reportsLinks
Content for Electisec Reports Site
☆27Updated last week
Alternatives and similar repositories for reports
Users that are interested in reports are comparing it to the libraries listed below
Sorting:
- Smart contract exploit proof of concept exploit standard interface☆16Updated last year
- Diagrams for Solidity contracts☆47Updated last year
- A static analyzer for Solidity, built upon regex and ASTs.☆26Updated last year
- APG (Auditor Profile Generator)☆35Updated last year
- ☆36Updated last year
- Simple Rust script for finding colliding 4byte function selectors☆59Updated 2 years ago
- ☆55Updated last year
- Series of CTF challenges based off real world smart contract vulnerabilities.☆27Updated last year
- Exercises for the Yield 2022 Mentorship progam☆61Updated 3 years ago
- List of Halmos resources.☆56Updated 5 months ago
- ☆37Updated last year
- Foundry + Yul puzzles☆33Updated last year
- Readiness Assessment for CARE Endeavour☆54Updated last year
- A markdown based template for writing spearbit reports☆33Updated 11 months ago
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆112Updated last month
- easy POC template generation from the command line☆74Updated 10 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 10 months ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆35Updated this week
- ☆50Updated 2 years ago
- Solidity Audit Report Generator☆85Updated last year
- Immunefi Contract DB - Search Bugs☆32Updated 7 months ago
- A set of exercises to get started with Cairo0☆20Updated 3 months ago
- Console.log utility for debugging huff contracts☆68Updated last year
- ☆17Updated 4 months ago
- ☆66Updated 2 years ago
- ☆92Updated last year
- A comprehensive guide to teach you about gas optimization patterns.☆25Updated last year
- ☆44Updated 9 months ago
- A forkable template repo for easily writing and testing toy contracts☆61Updated 2 months ago
- Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst a…☆10Updated last year