tintinweb / semgrep-rules
Low Noise Semgrep Security Rules
☆17Updated last month
Related projects ⓘ
Alternatives and complementary repositories for semgrep-rules
- An EVM decompiler written in Rust.☆45Updated last year
- A mostly mostly reasonable approach to Huff styling.☆79Updated last year
- MEV Olympics☆44Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Repository containing past audit reports☆53Updated 11 months ago
- ☆44Updated last year
- Solidity static analyzer☆81Updated 11 months ago
- ☆38Updated last year
- Identify flashloan bots in multiple chains☆33Updated 2 years ago
- A tool for quickly collecting function selectors and decoding signatures from on-chain EVM bytecode.☆51Updated 3 months ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- ☆39Updated last year
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- ☆58Updated 9 months ago
- ☆70Updated last year
- A Huff <> bytecode transpiler☆117Updated last year
- ☆50Updated last year
- ☆61Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- ☆75Updated last week
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 2 months ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆13Updated last year
- Symbolic EVM in Rust (WIP)☆85Updated 10 months ago
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated 8 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- ☆65Updated last year
- ☆46Updated last year
- ☆39Updated 6 months ago
- Simple Rust script for finding colliding 4byte function selectors☆58Updated last year
- Generating Inputs for OZ's MultiProof and SingleProof☆37Updated last month