Abstract-Många program analyser nytta, både i precision och prestanda, från exakt pekaranalys. En viktig dimension av pekaranalys precision är flödeskänslighet, vilket har visat sig vara användbart för applikationer såsom programverifiering och statisk analys av binär kod, bland många andra. Men flödeskänslig pekaranalys har historiskt sett inte kunnat skala till program med miljoner rader kod. Vi presenterar en ny flödeskänslig pekaranalysalgoritm som är en storleksordning snabbare än den befintliga tekniken, vilket möjliggör för första gången flödeskänslig pekaranalys för program med miljoner rader kod. Vår flödeskänsliga algoritm är baserad på en sparsam representation av programkoden skapad av en iscensatt, flödesokänslig pekaranalys. Vi förklarar hur denna nya algoritm är en medlem av en ny familj av pekaranalysalgoritmer som förtjänar ytterligare studier.
Hardekopf och Lin Ref presenterar en iscensatt flödeskänslig analys där en mindre exakt hjälppekaranalys beräknar def-användningskedjor som används för att möjliggöra den primära flödeskänsliga analysens gleshet.
Flow-sensitive pointer analysis for millions of lines of code
{'venue': 'International Symposium on Code Generation and Optimization (CGO 2011)', 'journal': 'International Symposium on Code Generation and Optimization (CGO 2011)', 'mag_field_of_study': ['Computer Science']}