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☆93Updated last year
- ☆79Updated 3 years ago
- Fuzzer for Wasm and Wasmer☆32Updated 5 years ago
- ☆29Updated 3 years ago
- A Dolev-Yao-model-guided fuzzer for TLS☆143Updated last week
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- a grammar based feedback fuzzer☆165Updated 2 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆62Updated 2 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆50Updated last year
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆12Updated 8 months ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆71Updated 3 years ago
- Fuzz Rust code with LibAFL☆62Updated last year
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- About as basic of a mutator as you can get, but it does the trick in most situations☆63Updated 5 years ago
- A native symbolic execution engine for WebAssembly☆48Updated last year
- ☆96Updated 6 years ago
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆124Updated 5 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆232Updated 3 years ago
- ☆40Updated 6 years ago
- ☆82Updated last week
- ☆53Updated 7 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Updated 3 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 4 years ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆46Updated last year
- An approximate solver for concolic execution☆18Updated 4 months ago
- Grammar-based Fuzzer that uses WebIDL as a grammar.☆13Updated last year
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆123Updated 4 years ago
- AntiFuzz: Impeding Fuzzing Audits of Binary Executables☆103Updated 4 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆179Updated last year
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago