Diff Graphs for a fast Incremental Pointer Analysis
Jakob Krainz, Michæl Philippsen · 2017
A wide range of optimizations and program analyses, including bug finding by means of escape or race analyses, need accurate pointer information. Since accuracy takes time, there is a need for a fast incremental pointer analysis that re-uses prior results and only re-analyzes program changes and their effects instead of the whole program.