GitHub repository: roachspray/SVF
Primary language: C
Description: Pointer Analysis and Program Dependence Analysis for C and C++ Programs