This project provides both low-level static analyses such as object flow analysis that are used high-level analyses such as call graph analyses. This purpose of this package is to house static analyses which can be used with multiple transformations or are too detailed to be used directly by an application.