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:
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 9 months ago
- Mutation testing tool for circom☆16Updated last year
- Efficient beacon chain batch deposit contract written in huff☆22Updated last year
- ☆17Updated this week
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆59Updated 3 months ago
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Updated 2 years ago
- ☆43Updated last year
- Generating Inputs for OZ's MultiProof and SingleProof☆38Updated 6 months ago
- ☆37Updated 3 years ago
- ☆33Updated last month
- Helper functions enabling players to solve past curta puzzles on their own time.☆31Updated last year
- efficient libraries for working with min-heaps in solidity☆23Updated last year
- Solidity transient storage that's mutable from within a `STATICCALL`☆24Updated last month
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- Supplementary Material to be used with the Certora Prover☆17Updated 3 years ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆25Updated last month
- ☆18Updated 11 months ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- ☆16Updated 9 months ago
- Tstore huff template☆17Updated last year
- ☆51Updated last year
- Vyper examples of LZ-enabled Omnichain contracts☆15Updated 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