CISPA-SysSec / wasmfuzzLinks
WebAssembly as a Fuzzing Compilation Target @ FUZZING'24
☆17Updated this week
Alternatives and similar repositories for wasmfuzz
Users that are interested in wasmfuzz are comparing it to the libraries listed below
Sorting:
- A native symbolic execution engine for WebAssembly☆49Updated last year
- Binary-only fuzzer for WebAssembly (WASI)☆51Updated last year
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆95Updated last year
- Fuzz Rust code with LibAFL☆62Updated 2 years ago
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Updated 2 years ago
- Practical fuzzing tutorials and training☆31Updated last year
- Variation of american fuzzy lop for testing compilers☆124Updated 3 years ago
- Fast and effective grammar-based fuzzing based on Gramatron☆15Updated 7 months ago
- An approximate solver for concolic execution☆19Updated 6 months ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Updated 3 years ago
- ☆27Updated 2 years ago
- A Dolev-Yao-model-guided fuzzer for TLS☆148Updated this week
- ROSA: Finding Backdoors with Fuzzing☆25Updated 4 months ago
- ☆79Updated 3 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆78Updated 2 weeks ago
- ☆34Updated 3 years ago
- Scalable Validator for Binary Lifters☆60Updated 5 years ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆127Updated 3 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆72Updated 5 months ago
- Papers related with kernel papers☆13Updated 2 years ago
- Library for manipulating gdb in batch mode☆20Updated last year
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆21Updated 5 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- Challenging testcases for fuzzers☆72Updated last year
- ☆52Updated 3 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆149Updated 9 months ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆22Updated 7 years ago
- ☆43Updated 3 years ago
- ☆30Updated 4 years ago