Abstrakt. Detta dokument presenterar en ny arbetslista algoritm som avsevärt påskyndar en stor klass av flödeskänsliga dataflödesanalyser, inklusive typestate felkontroll och pekaranalys. Vår algoritm fungerar särskilt bra för interprocedurala analyser. Traditionella algoritmer fungerar däremot bra för enskilda procedurer men skalar inte bra till interprocedural analys eftersom de tillbringar för mycket tid onödigt att omanalysera stora delar av programmet. Vår algoritm löser detta problem genom att utnyttja det glesa i många analyser. Nyckeln till vårt tillvägagångssätt är användningen av interprocedurala def-use-kedjor, vilket gör att vår algoritm kan omanalysera endast de delar av programmet som påverkas av förändringar i flödesvärdena. Till skillnad från andra tekniker för sparsam analys, vår algoritm inte förlitar sig på precomputed def-use-kedjor, eftersom denna beräkning kan själv kräva kostsamma analyser, särskilt i närvaro av pekare. Istället beräknar vi def-use kedjor på flugan under analysen, tillsammans med exakt pekarinformation. När vi applicerar på stora program som nn, förbättrar våra tekniker analystiden med upp till 90%-från 1974 till 190s-över en toppmodern algoritm.
Tok m.fl. REF presenterade en teknik för att påskynda flödeskänslig dataflödesanalys på en kontrollflödeskurva med hjälp av beräknade def-användningskedjor för adresserade variabler.
Efficient flow-sensitive interprocedural data-flow analysis in the presence of pointers
{'venue': 'In 15th International Conference on Compiler Construction (CC', 'journal': None, 'mag_field_of_study': ['Computer Science']}