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
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆14Updated last year
- ☆15Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- ☆44Updated 3 months ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆19Updated 3 weeks ago
- ☆21Updated 2 years ago
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated last year
- A mostly mostly reasonable approach to inline Yul styling.☆30Updated 10 months ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 6 months ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- ☆17Updated this week
- Automates the verification of Solidity tests written using BTT technique☆18Updated 5 months ago
- Generating Inputs for OZ's MultiProof and SingleProof☆37Updated 3 months ago
- ☆29Updated last year
- ☆51Updated last year
- Mutation testing tool for circom☆16Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆33Updated last year
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- Modify ASTs Easily & Reliably☆17Updated last year
- ☆54Updated 2 years ago
- Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…☆15Updated 2 years ago
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Updated 2 years ago
- Example of the whitehack for Curve exploit 30/07/23☆19Updated last year
- standardized framework to simulate governance proposals with forge☆57Updated last year