GitHub repository: CROSSINGTUD/SPDS
Primary language: Java
Description: Efficient and Precise Pointer-Tracking Data-Flow Framework