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
- Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆32Updated 4 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
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆17Updated 2 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆207Updated 5 months ago
- A Python module that enables the automation of Firefox☆32Updated this week
- A fuzzing library in JavaScript. ✨☆118Updated last month
- Fuzzer for Wasm and Wasmer☆31Updated 5 years ago
- ☆22Updated 8 years ago
- A tool for detecting regular expression denial-of-service vulnerabilities in Android apps.☆36Updated 9 years ago
- ☆15Updated 5 years ago
- Mayhem example templates for programming languages and fuzzers that you love!☆33Updated last year
- A medley of PoCs and exploits☆1Updated 6 years ago
- Integrate the dharma grammar fuzzer into honggfuzz☆26Updated 7 years ago
- TRACER Symbolic Execution Tool☆28Updated 5 years ago
- Downloader for Firefox/jsshell builds for fuzzing.☆41Updated last week
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆92Updated 11 months ago
- DOM fuzzers - not maintained anymore☆17Updated 5 years ago
- Generic SAST Library☆132Updated last month
- An AFL-inspired genetic fuzz tester for JavaScript☆131Updated 5 months ago
- Crowdsourced fuzzing cluster. 🚀☆21Updated 3 years ago
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆36Updated 2 years ago
- Static Program Analysis for Reliable Trusted Apps☆23Updated 6 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- ☆82Updated 9 months ago
- jsfunfuzz patched to fuzz v8☆12Updated 5 years ago
- Towards Machine-Checked Analysis of Browser Security Mechanisms☆11Updated last year
- Borrowed Instructions Synthetic Computation☆70Updated 10 years ago