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
Sorting:
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 8 months ago
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆25Updated last month
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- ☆51Updated last year
- Mutation testing tool for circom☆16Updated last year
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated last year
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- An EVM decompiler written in Rust.☆46Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- Generating Inputs for OZ's MultiProof and SingleProof☆37Updated 5 months ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 10 months ago
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated 2 years ago
- Efficient beacon chain batch deposit contract written in huff☆23Updated last year
- ☆18Updated 10 months ago
- Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…☆15Updated 2 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- ☆65Updated 2 years ago
- ☆17Updated last week
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆19Updated 8 months ago
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated 2 years ago
- ☆16Updated 9 months ago
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated last year
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆61Updated 2 months ago
- ☆41Updated 2 years ago
- Submodules Kill Solidity☆38Updated last year
- ☆20Updated 2 years ago