Abstrakt. Vi presenterar en enande-baserad, kontextkänslig flykt- och effektanalys som innehåller sammanfattningar av lätta metoder som beskriver högeffekter. Analysen är parameteriserad på två värden: k, som anger högdjupet bortom vilket objekt undgår; och b, en grenningsfaktor som anger det maximala antalet fält per objekt som analysen exakt spårar. Genom att begränsa dessa parametrar till små värden kan vi hålla metodsammanfattningarna lätta och praktiska. Resultaten från vår implementering visar att analysen skalar sig väl till stora kodbaser som GNU Classpath-biblioteken. De visar också att sammanfattningar kan hjälpa till att analysera kunder approximativa effekterna av metodanrop, undvika dyra inter-procedural beräkningar, eller oprecisa värsta-fallantaganden.
Cherem och Rugina REF presenterar en flödesokänslig, enande-baserad kontext-känslig analys för att konstruera metodsammanfattningar som beskriver högeffekter.
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries
{'venue': 'In CC 2007: 16th International Conference on Compiler Construction', 'journal': None, 'mag_field_of_study': ['Computer Science']}