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
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆16Updated 3 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
- Symbolic debugging tool using JonathanSalwan/Triton☆25Updated 6 years ago
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Updated 7 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆19Updated 5 years ago
- lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」(SCIS2018).☆14Updated 2 years ago
- A Python module that enables the automation of Firefox☆32Updated 3 weeks ago
- ☆47Updated 5 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆13Updated 3 years ago
- ☆29Updated 7 years ago
- A tool designed to synthesise semantically correct JavaScript snippets given arbitrary data. Useful for fuzzing.☆56Updated 2 years ago
- An extendable and flexible infrastructure for program instrumentation.☆21Updated 2 months ago
- An HTTP Response fuzzer to find Vulnerabilities in Security Scanners☆26Updated last year
- The Dumb Network Fuzzer☆21Updated 2 years ago
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆124Updated 5 years ago
- ☆19Updated 6 years ago
- Source code for ACM CCS 2020 Paper PMForce: Systematically Analyzing postMessage Handlers at Scale☆18Updated 4 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆22Updated 7 years ago
- Dockerfile for AFL++ and helpful other tools☆21Updated 5 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆209Updated 7 months ago
- "Reversing WebAssembly Module 101" Workshop (NorthSec 2019, hack.lu 2019)☆20Updated 4 years ago
- Extract useful semantic from CVE descriptions usinig NLP☆25Updated 2 years ago
- A Static Analysis Tool For Android Apps☆20Updated 3 weeks ago
- Generic SAST Library☆132Updated 2 months ago
- The Z3 Theorem Prover - repository for staging python distributions☆56Updated 6 years ago
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- Downloader for Firefox/jsshell builds for fuzzing.☆42Updated last month