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☆95Updated last year
- ☆79Updated 3 years ago
- ☆30Updated 4 years ago
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆122Updated 5 years ago
- a grammar based feedback fuzzer☆165Updated 2 years ago
- Variation of american fuzzy lop for testing compilers☆124Updated 3 years ago
- ☆82Updated 2 months ago
- Disassemblers with various trimming methodologies☆15Updated 10 months ago
- ☆40Updated 6 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆51Updated last year
- ☆54Updated 7 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 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
- ☆96Updated 6 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆64Updated 3 years ago
- A native symbolic execution engine for WebAssembly☆49Updated last year
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆74Updated 3 years ago
- Fuzz Rust code with LibAFL☆62Updated 2 years ago
- Grammar-based Fuzzer that uses WebIDL as a grammar.☆14Updated last year
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆124Updated 4 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Updated 3 years ago
- Modular And Compositional analysis with KLEE Engine☆116Updated 5 years ago
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- Pythia (extends AFL with Predictions)☆66Updated 4 years ago
- CClyzer port to souffle lang☆18Updated last year
- An approximate solver for concolic execution☆19Updated 6 months ago
- KLEE / CSE Project☆46Updated 5 years ago
- git://g.csail.mit.edu/kint☆51Updated 12 years ago
- This is the project of LearnAFL.☆28Updated 5 years ago