aronszanto / wasm-taint-tracking

Related projects ⓘ

Alternatives and complementary repositories for wasm-taint-tracking

• Invizory / taintflow
  TaintFlow, a framework for JavaScript dynamic information flow analysis.
  ☆17Updated last year
• wfus / WebAssembly-Taint
  Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.
  ☆21Updated 6 years ago
• p-march / v8-taint
  JITed Taint Tracking in V8
  ☆15Updated 10 years ago
• wspr-ncsu / mininode
  Mininode is a CLI tool to reduce the attack surface of the Node.js applications by using static analysis.
  ☆22Updated last year
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆23Updated 4 years ago
• Samsung / Fluff
  A tool designed to synthesise semantically correct JavaScript snippets given arbitrary data. Useful for fuzzing.
  ☆54Updated last year
• MozillaSecurity / avalanche
  Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.
  ☆32Updated 3 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• FuzzingLabs / wasm_runtimes_fuzzing
  Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing
  ☆86Updated 3 months ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆48Updated 3 months ago
• ExpoSEJS / z3javascript
  A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
  ☆21Updated 4 months ago
• ForAllSecure / mayhem-examples
  Mayhem example templates for programming languages and fuzzers that you love!
  ☆27Updated 10 months ago
• MozillaSecurity / virgo
  Crowdsourced fuzzing cluster. 🚀
  ☆21Updated 3 years ago
• Sbouber / honggfuzz-dharma
  Integrate the dharma grammar fuzzer into honggfuzz
  ☆26Updated 7 years ago
• rudyerudite / AngErza
  Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.
  ☆18Updated 2 years ago
• secure-foundations / provably-safe-sandboxing-wasm-usenix22
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆35Updated 2 years ago
• ouspg / cloudfuzzer
  ☆23Updated 7 years ago
• trailofbits / codeql-queries
  CodeQL queries developed by Trail of Bits
  ☆76Updated this week
• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆16Updated 2 months ago
• carlospolop / github_archive_scraper
  ☆16Updated last year
• trailofbits / vast-checker
  ☆24Updated last year
• jsoverson / badjs.org
  ☆12Updated last year
• z2-2z / peacock
  Fast and effective grammar-based fuzzing based on Gramatron
  ☆13Updated this week
• HackOvert / awesome-bugs
  A collection of software bug types and articles showcasing the hunt for and exploitation of them.
  ☆20Updated 3 years ago
• pventuzelo / fuzzing_browsers_wasm_js
  Fuzzing JavaScript WebAssembly APIs using Dharma/Domato (Chrome/v8, etc.)
  ☆43Updated 2 years ago
• abusech / YARAify
  Open YARA scan- and search engine
  ☆17Updated 2 weeks ago
• mariussteffens / pmforce
  Source code for ACM CCS 2020 Paper PMForce: Systematically Analyzing postMessage Handlers at Scale
  ☆17Updated 3 years ago
• compsec-snu / fuzzorigin
  ☆13Updated last year
• adamdoupe / enemy-of-the-state
  This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.
  ☆19Updated 4 years ago