GitHub repository: svenfeld/SPDS
Description: Efficient and Precise Pointer-Tracking Data-Flow Framework