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☆91Updated 10 months ago
- Binary-only fuzzer for WebAssembly (WASI)☆49Updated 10 months ago
- Fuzzer for Wasm and Wasmer☆30Updated 5 years ago
- ☆28Updated 3 years ago
- ☆27Updated 2 years ago
- Integrate the dharma grammar fuzzer into honggfuzz☆26Updated 7 years ago
- Fuzz testing on JavaScriptCore and WebAssembly in WebKit☆6Updated 5 years ago
- Fuzz Rust code with LibAFL☆61Updated last year
- ☆42Updated 3 years ago
- Disassemblers with various trimming methodologies☆13Updated 5 months ago
- A Dolev-Yao-model-guided fuzzer for TLS☆141Updated this week
- Fuzzing JavaScript WebAssembly APIs using Dharma/Domato (Chrome/v8, etc.)☆43Updated 3 years ago
- tool for multi-execution jump coverage introspection☆65Updated 4 months ago
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆124Updated 5 years ago
- Grammar-based fuzzing corpus generator☆39Updated 2 years ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated 3 months ago
- Downloader for Firefox/jsshell builds for fuzzing.☆41Updated last week
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆12Updated 6 months ago
- Differential fuzzing for Smart Contract VMs☆51Updated 3 years ago
- ☆27Updated 6 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
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- This is the project of LearnAFL.☆28Updated 4 years ago
- Crowdsourced fuzzing cluster. 🚀☆21Updated 3 years ago
- ☆76Updated 3 years ago
- ☆96Updated 6 years ago