Abstrakt. I detta dokument presenterar vi en abstraktion för högallokerad lagring, kallad recency-abstraktion, som gör det möjligt för abstrakt tolkningsalgoritmer att återställa viss icke-trivial information för högallokerade dataobjekt. Som en tillämpning av recency-abstraktion, visar vi hur den kan lösa virtuella funktion samtal i borttagna körbara (dvs. körbara som felsökning information har tagits bort). Detta tillvägagångssätt lyckades lösa 55 % av de virtuella-funktions call-sites, medan tidigare verktyg för att analysera körbara inte lyckas lösa någon av de virtuella-funktions call-sites.
Balakrishnan och Reps Ref presenterar en analys kallad "Recency Abstraktion for Heap-Allokated Storage".
Recency-Abstraction for Heap-Allocated Storage
{'venue': 'IN SAS', 'journal': None, 'mag_field_of_study': ['Computer Science']}