wfus / WebAssembly-TaintLinks
Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.
☆22Updated 7 years ago
Alternatives and similar repositories for WebAssembly-Taint
Users that are interested in WebAssembly-Taint are comparing it to the libraries listed below
Sorting:
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆96Updated last year
- ☆78Updated 3 years ago
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- ☆30Updated 4 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆51Updated last year
- Fuzz Rust code with LibAFL☆62Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 3 years ago
- a grammar based feedback fuzzer☆165Updated 2 years ago
- Challenging testcases for fuzzers☆72Updated last year
- ☆82Updated 3 months ago
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆122Updated 5 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆64Updated 3 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆74Updated 4 years ago
- A dynamic analysis framework for WebAssembly programs.☆389Updated 7 months ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆17Updated 2 weeks ago
- An approximate solver for concolic execution☆19Updated 7 months ago
- Variation of american fuzzy lop for testing compilers☆125Updated 3 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆124Updated 4 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Updated 11 months ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆234Updated 3 years ago
- ☆96Updated 6 years ago
- About as basic of a mutator as you can get, but it does the trick in most situations☆64Updated 5 years ago
- A native symbolic execution engine for WebAssembly☆49Updated last year
- Grammar-based Fuzzer that uses WebIDL as a grammar.☆14Updated last year
- ☆54Updated 8 years ago
- ☆41Updated 6 years ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆47Updated last year
- Source code of MEUZZ fuzzer☆46Updated 3 years ago
- A Dolev-Yao-model-guided fuzzer for TLS☆148Updated this week
- Grammar-based fuzzing corpus generator☆41Updated 2 years ago