Jia Chen

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

grievejia

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

grievejia

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.

grievejia

Pointer Analysis with Tunable Precision

grievejia

Simple C++ Parser Combinator Library

grievejia