Pointer Analysis and Program Dependence Analysis for C and C++ Programs - View it on GitHub