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:
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆18Updated 2 years ago
- JITed Taint Tracking in V8☆15Updated 11 years ago
- ☆22Updated 8 years ago
- Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆32Updated 4 years ago
- Source code for ACM CCS 2020 Paper PMForce: Systematically Analyzing postMessage Handlers at Scale☆18Updated 4 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆16Updated 3 years ago
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆124Updated 5 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Updated 6 years ago
- Generic SAST Library☆132Updated 3 months ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Updated 4 years ago
- ☆82Updated last month
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Updated 7 years ago
- A Static Analysis Tool For Android Apps☆20Updated last month
- A Python module that enables the automation of Firefox☆33Updated last month
- A fuzzing library in JavaScript. ✨☆117Updated this week
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆211Updated 8 months ago
- An HTTP Response fuzzer to find Vulnerabilities in Security Scanners☆27Updated last year
- lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」(SCIS2018).☆14Updated 2 years ago
- ☆19Updated 6 years ago
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- Post Processor for Facebook Static Analysis Tools.☆143Updated 2 weeks ago
- ☆47Updated 5 years ago
- Dockerfile for AFL++ and helpful other tools☆21Updated 5 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74Updated 6 years ago
- Creates a CFG from JavaScript source code.☆70Updated last year
- A tool designed to synthesise semantically correct JavaScript snippets given arbitrary data. Useful for fuzzing.☆56Updated 2 years ago
- CTF writeup for learning☆22Updated 4 years ago
- Network and USB protocol fuzzing toolkit.☆68Updated 7 years ago
- The Z3 Theorem Prover - repository for staging python distributions☆54Updated 6 years ago
- Protocol Inspection and State Machine Analysis☆24Updated 7 years ago