Jia Chen

andersen. Andersen's inclusion-based pointer analysis re-implementation in LLVM

pyre-ast. pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its adoption of tagless-final style.

LLVMDynamicTools. An LLVM interpreter that aims to compute points-to sets dynamically

tpa. Pointer Analysis with Tunable Precision

pcomb. Simple C++ Parser Combinator Library

GSoC2016. Work product of my Google Summer of Code 2016 project

FwPython. A Lean 4 formalization of a small object-oriented language and its gradual type system

neonGobyPort. Port the neonGoby project (https://github.com/columbia/neongoby) to work with the latest version of LLVM

DataStructure. Utility data structure implementations in C++

CostInstrument-llvm. C++

ApkToJava. Utility script for decompiling apks into Java source codes

Util. Variout C++ utility classes

JimpleDumper. Dump soot JIMPLE IR into sqlite3 database file

hermes. A tool that translates from a specification of Algebraic Data Type to C++14 codes