IncSFS: C/C++을 위한 점진적 전체 희소 흐름 민감 포인터 분석

IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++