aviggiano / fuzzer-evaluation
Evaluating fuzzer effectiveness
☆21Updated last year
Related projects ⓘ
Alternatives and complementary repositories for fuzzer-evaluation
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- Mutation testing tool for circom☆16Updated last year
- An in complete list of tokens with permit function☆14Updated 3 years ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆14Updated last year
- ☆15Updated 11 months ago
- ☆65Updated last year
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Updated last year
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆18Updated 3 months ago
- Solidity bytecode mapping for caller authorization☆20Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- ☆18Updated 4 months ago
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 3 months ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- ☆33Updated 2 years ago
- ☆34Updated 2 years ago
- A Solidity library designed to cram as many arbitrary values into as small a space as possible.☆44Updated last year
- ☆63Updated last year
- Learn Cairo and StarkNet Smart Contract programming with example code☆23Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- Supplementary Material to be used with the Certora Prover☆17Updated 2 years ago
- ☆55Updated this week
- efficient libraries for working with min-heaps in solidity☆23Updated last year
- Modify ASTs Easily & Reliably☆17Updated 11 months ago
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated last year
- ☆50Updated last year
- ☆17Updated 3 months ago
- ☆31Updated 2 years ago