Chaoyue Zhang, Longlong Lu, Yifei Lu, Minxue Pan, Xuandong Li: Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis (Artifact and Supplemental Materials). Zenodo 2025