wasmerio / wasm-fuzzLinks
Fuzzer for Wasm and Wasmer
☆30Updated 5 years ago
Alternatives and similar repositories for wasm-fuzz
Users that are interested in wasm-fuzz are comparing it to the libraries listed below
Sorting:
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Updated 3 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆67Updated 3 years ago
- ☆25Updated 2 years ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆91Updated 10 months ago
- Superion Mutator for AFLPlusPlus☆31Updated last year
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- ☆47Updated 5 years ago
- ☆42Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆30Updated 3 years ago
- Fuzzing with controlled compilation☆29Updated 2 years ago
- Challenging testcases for fuzzers☆71Updated last year
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆34Updated last year
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated 2 months ago
- ☆96Updated 6 years ago
- KLEE / CSE Project☆45Updated 5 years ago
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆83Updated this week
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- ☆65Updated 2 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated last year
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Updated 2 years ago
- Symbolic Execution Over Processor Traces☆121Updated 10 months ago
- ☆38Updated 2 years ago
- ☆40Updated 6 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated last year
- Material and examples for a presentation on static binary analysis.☆43Updated 4 years ago