I detta dokument presenteras en efterfrågestyrd, flödesokänslig analysalgoritm för att besvara maj-alias-frågor. Vi formulerar beräkningen av alias frågor som en CFL-uppnåbarhet problem, och använda denna formulering för att härleda en efterfrågestyrd analys algoritm. Analysen använder en arbetslista algoritm som gradvis utforskar programstrukturen och stannar så snart tillräckligt bevis samlas in för att svara på frågan. Till skillnad från befintliga tekniker, kräver vårt tillvägagångssätt inte att bygga eller skär punkter-till-uppsättningar. Experiment visar att vår teknik är effektiv när det gäller att svara på aliasfrågor exakt och effektivt på ett efterfrågestyrt sätt. För en uppsättning alias frågor från SPEC2000 riktmärken, en implementering av vår analys kan korrekt svara 96% av frågorna i 0,5 millisekunder per fråga i genomsnitt, med endast 65 KB minne. Jämfört med en efterfrågedriven points-to-analys som konstruerar och skär points-to-set i farten, kan vår aliasanalys uppnå bättre noggrannhet samtidigt som den kör mer än 30 gånger snabbare. Den låga drifttiden och låga minneskrav av analysen gör det till en mycket bra kandidat inte bara för kompilatorer, utan också för interaktiva verktyg, såsom programförståelseverktyg eller integrerade utvecklingsmiljöer (IDE).
Zheng och Rugina REF presenterar en CFL-uppnåbarhet formulering av alias analys och genomföra en kontext-okänslig efterfrågestyrd analys för C-program.
Demand-driven alias analysis for C
{'venue': "POPL '08", 'journal': None, 'mag_field_of_study': ['Computer Science']}