idkwim / jsTaint
Dynamic Taint Analysis in JavaScript
☆16Updated 13 years ago
Alternatives and similar repositories for jsTaint:
Users that are interested in jsTaint are comparing it to the libraries listed below
- V8 Tutorial PLDI 2019☆73Updated 5 years ago
- Creates a CFG from JavaScript source code.☆68Updated 4 months ago
- CFG explorer for binaries☆79Updated 2 months ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- ☆9Updated 4 years ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆14Updated 8 months ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- To share the material for presentation☆11Updated 5 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated last month
- CClyzer port to souffle lang☆18Updated 11 months ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆192Updated 6 months ago
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆53Updated 3 months ago
- Study WALA and static code analysis . This project introduces the required knowledge and study roadmap.☆21Updated 4 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆99Updated 4 years ago
- Some writeups in ctf.☆11Updated 2 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
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated last month
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- A mini bytecode Interpreter for v8.☆23Updated 2 years ago
- afl源码分析☆13Updated 6 years ago
- Android Benchmark Reproduction Framework☆11Updated 3 years ago
- A tool designed to synthesise semantically correct JavaScript snippets given arbitrary data. Useful for fuzzing.☆54Updated last year
- Bytecode based Fuzzer for the PHP language☆11Updated 4 years ago
- by http://whereisk0shl.top/☆35Updated 6 years ago
- angr源码分析☆33Updated 5 years ago
- Type Analyzer for JavaScript☆194Updated 4 years ago
- dc2020 quals kernel pwn