aviggiano / fuzzer-evaluation
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
- 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
- ☆17Updated this week
- ☆36Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 4 months ago
- ☆51Updated last year
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- ☆29Updated last year
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- ☆15Updated last year
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated last year
- An EVM decompiler written in Rust.☆45Updated 2 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated 11 months ago
- Efficient beacon chain batch deposit contract written in huff☆23Updated last year
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago
- standardized framework to simulate governance proposals with forge☆57Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- ☆39Updated last year
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆19Updated 3 months ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- ☆65Updated 2 years ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆14Updated last year
- ☆63Updated last year
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago