This package provides CFA-style call graph construction and pointer analysis.