aviggiano / fuzzer-evaluationLinks
Evaluating fuzzer effectiveness
☆21Updated last year
Alternatives and similar repositories for fuzzer-evaluation
Users that are interested in fuzzer-evaluation are comparing it to the libraries listed below
Sorting:
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated 10 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- Uniswap V4 Huff Hooks☆40Updated 2 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated 2 years ago
- Mutation testing tool for circom☆16Updated 2 years ago
- ☆37Updated 3 years ago
- A Foundry template to compile and test Huff contracts.☆52Updated 3 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- Efficient beacon chain batch deposit contract written in huff☆23Updated last year
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆25Updated 3 weeks ago
- An in complete list of tokens with permit function☆14Updated 4 years ago
- Generating Inputs for OZ's MultiProof and SingleProof☆38Updated 8 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 3 years ago
- ☆18Updated last year
- A visual studio code extension that automatically generate the stack comments for Huff.☆25Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- ☆29Updated 2 years ago
- ☆33Updated 2 years ago
- ☆40Updated 2 years ago
- ☆41Updated 3 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆31Updated last year
- ☆43Updated last year
- gas comparisons between vyper and solady☆20Updated 9 months ago
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- ☆51Updated last year
- Solidity bytecode mapping for caller authorization☆20Updated 3 years ago
- ☆20Updated 2 years ago