Changwei Zou's repositories
dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
DoubleX
Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
dukpy
Simple JavaScript interpreter for Python
Goshawk
Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management functions and uses data flow analysis to abstract their behaviors and then adopts these summaries to enhace bug detection.
jerryscript
Ultra-lightweight JavaScript engine for the Internet of Things.
JS-Query-Manager
Python script to query JavaScript static analysis tooling for points to set of source variables.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
mlta
TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
PolyCruise
A Cross-Language Dynamic Information Flow Analysis.
PolyFuzz
Holistic Greybox Fuzzing of Multi-Language Systems
python-jvm-interpreter
Java Virtual Machine implementation in Python
source
Adelie's source code
SVF
Static Value-Flow Analysis Framework for Source Code
SVF-doxygen
https://svf-tools.github.io/SVF-doxygen/html
symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
TIPS
TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers
Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
x-python
A Python implementation of the C Python Interpreter