aronszanto / wasm-taint-trackingLinks
JavaScript virtual machine for WebAssembly and Taint Tracking security tool
☆14Updated 7 years ago
Alternatives and similar repositories for wasm-taint-tracking
Users that are interested in wasm-taint-tracking are comparing it to the libraries listed below
Sorting:
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆21Updated 7 years ago
- JITed Taint Tracking in V8☆15Updated 11 years ago
- A tool designed to synthesise semantically correct JavaScript snippets given arbitrary data. Useful for fuzzing.☆54Updated 2 years ago
- Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆32Updated 4 years ago
- ☆22Updated 8 years ago
- Mayhem example templates for programming languages and fuzzers that you love!☆33Updated last year
- A Python module that enables the automation of Firefox☆32Updated 2 weeks ago
- A JavaScript wrapper for Z3 containing support for regular expressions & capture groups☆22Updated 11 months ago
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆17Updated 2 years ago
- Crowdsourced fuzzing cluster. 🚀☆21Updated 3 years ago
- A tool for detecting regular expression denial-of-service vulnerabilities in Android apps.☆34Updated 8 years ago
- ☆15Updated 5 years ago
- Static Program Analysis for Reliable Trusted Apps☆23Updated 6 years ago
- Fuzz testing framework for network protocols.☆17Updated 5 years ago
- A fuzzing library in JavaScript. ✨☆118Updated 2 weeks ago
- Downloader for Firefox/jsshell builds for fuzzing.☆41Updated 3 weeks ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- the puppy proxy☆22Updated 5 years ago
- Integrate the dharma grammar fuzzer into honggfuzz☆26Updated 7 years ago
- Static Analysis Framework for Android Hybrid Applications☆25Updated 4 years ago
- Towards Machine-Checked Analysis of Browser Security Mechanisms☆11Updated 11 months ago
- ☆47Updated 5 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆49Updated 10 months ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- ☆13Updated 3 years ago
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- Source code for ACM CCS 2020 Paper PMForce: Systematically Analyzing postMessage Handlers at Scale☆17Updated 4 years ago
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆124Updated 5 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Updated 5 years ago
- ☆17Updated 6 years ago