aviggiano / coypu
Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst all members that contribute to the project.
☆9Updated last year
Related projects ⓘ
Alternatives and complementary repositories for coypu
- Identify flashloan bots in multiple chains☆33Updated 2 years ago
- yAudit Completed Reports☆27Updated this week
- ☆35Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 3 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆60Updated last year
- ☆46Updated last year
- ☆65Updated last year
- Smart contract exploit proof of concept exploit standard interface☆16Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Diagrams for Solidity contracts☆43Updated 8 months ago
- ☆38Updated last year
- ☆63Updated last year
- APG (Auditor Profile Generator)☆35Updated 11 months ago
- ☆70Updated last year
- A static analyzer for Solidity, built upon regex and ASTs.☆25Updated 9 months ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆33Updated 9 months ago
- ☆15Updated last year
- Series of CTF challenges based off real world smart contract vulnerabilities.☆26Updated 7 months ago
- ☆19Updated 2 weeks ago
- A comprehensive guide to teach you about gas optimization patterns.☆26Updated last year
- ☆43Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- Simple Rust script for finding colliding 4byte function selectors☆58Updated last year
- Foundry + Yul puzzles☆32Updated last year
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Updated last year
- A mostly mostly reasonable approach to inline Yul styling.☆29Updated 7 months ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- Speed up your judging on Sherlock!☆16Updated last year
- ☆54Updated 2 years ago