wfus / WebAssembly-TaintLinks
Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.
☆21Updated 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☆92Updated 11 months ago
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆124Updated 5 years ago
- Fuzzer for Wasm and Wasmer☆31Updated 5 years ago
- A tool designed to synthesise semantically correct JavaScript snippets given arbitrary data. Useful for fuzzing.☆54Updated 2 years ago
- ☆82Updated 9 months ago
- Downloader for Firefox/jsshell builds for fuzzing.☆41Updated last week
- Integrate the dharma grammar fuzzer into honggfuzz☆26Updated 7 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆50Updated 11 months ago
- About as basic of a mutator as you can get, but it does the trick in most situations☆62Updated 4 years ago
- Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆32Updated 4 years ago
- tool for multi-execution jump coverage introspection☆65Updated 5 months ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆36Updated 2 years ago
- A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms☆9Updated 5 years ago
- a grammar based feedback fuzzer☆165Updated 2 years ago
- ☆47Updated 5 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- Grammar-based fuzzing corpus generator☆39Updated 2 years ago
- Fuzzing JavaScript WebAssembly APIs using Dharma/Domato (Chrome/v8, etc.)☆43Updated 3 years ago
- A fuzzing library in JavaScript. ✨☆118Updated last month
- ☆29Updated 3 years ago
- ☆42Updated 3 years ago
- ☆96Updated 6 years ago
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- ☆53Updated 7 years ago
- Root Repo for the RLBox Sandboxing Library Research prototype. Note: this is the original research prototype for this library. For the pr…☆24Updated last year
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74Updated 6 years ago
- Crowdsourced fuzzing cluster. 🚀☆21Updated 3 years ago
- This is the project of LearnAFL.☆28Updated 4 years ago
- A monitoring script for AFL☆40Updated 8 years ago
- A Dolev-Yao-model-guided fuzzer for TLS☆143Updated this week