Dedaub / auditsLinks
Repository containing past audit reports
☆55Updated 2 years ago
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- ☆74Updated 3 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆61Updated 4 years ago
- Solidity static analyzer☆83Updated 2 years ago
- unhacked challenge 1: reaper☆42Updated 3 years ago
- Simple Rust script for finding colliding 4byte function selectors☆59Updated 2 years ago
- Foundry + Yul template☆97Updated 2 years ago
- A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.☆41Updated 2 years ago
- ☆108Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆70Updated last year
- Cross chain call library for Solidity☆81Updated 3 years ago
- Gas Golfing using Huff and Yul☆80Updated 3 years ago
- Contracts for my flashloan workshop/lecture at UPenn☆77Updated 3 years ago
- ☆58Updated 2 years ago
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆100Updated 10 months ago
- Testing echidna vs. forge fuzzing☆77Updated 3 years ago
- ☆19Updated 3 years ago
- ☆38Updated 2 years ago
- ☆24Updated 2 years ago
- ☆81Updated 3 years ago
- Solidity codegen tool for efficient ABI encoding/decoding.☆94Updated last year
- Solidity Audit Report Generator☆84Updated 2 years ago
- A collection of useful bash scripts for ChainOps and more☆84Updated 3 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated 3 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆56Updated last year
- ☆52Updated 3 years ago
- ☆103Updated 2 months ago
- ☆65Updated 3 years ago
- ☆35Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 3 years ago