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