Preprint
Aug 2026
IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++
This work introduces IncSFS, the first incremental full-sparse flow-sensitive pointer analysis algorithm for C/C++ programs that propagates increases and decreases in points-to sets in an interleaved manner, supporting code deletion and insertion within a single analysis pass.
Kunlin Liu, Zhen-Bang Chen, Piyi Zu et al.
· 0 citations