Popular repositories

1. andersen Public

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

   C++ 152 47

2. pyre-ast Public

   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.

   OCaml 24

3. LLVMDynamicTools Public

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

   C++ 18 9

4. tpa Public

   Pointer Analysis with Tunable Precision

   C++ 16 8

5. pcomb Public

   Simple C++ Parser Combinator Library

   C++ 14 7

6. neonGobyPort Public

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

   C++ 3 3