dg

[LLVM Static Slicer] Dependence graph for programs. A set of...

SVF

Pointer Analysis and Program Dependence Analysis for C and C...