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