collaborators

1 paper

cs.PL2026

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

Kunlin Liu, Zhenbang Chen, Piyi Zu +2

Pointer analysis is a fundamental technique for compiler optimization and program analysis. Flow-sensitive pointer analysis provides high precision but is difficult to scale to lar…