Användningen av pekare och datastrukturer baserade på pekare resulterar i cirkulära minnesreferenser som tolkas av en vital kompilatoranalys, nämligen pekaranalys. För ett par minnesreferenser vid en programpunkt, en typisk pekaranalys anger om punkterna-till relationen mellan dem kan existera, definitivt inte existerar, eller definitivt existerar. "Kan vara" fallet, som beskriver poäng-till-förhållande för de flesta av paren, kan inte hanteras av de flesta kompilator optimeringar. Detta för att garantera sundheten i dessa optimeringar. Men "kan vara" fallet kan kapitaliseras av den moderna klassen av spekulativa optimeringar om sannolikheten för att två minnesreferenser alias kan mätas. Med fokus på multithreading, en förhärskande teknik för programmering, presenterar detta papper en ny flödeskänslig teknik för probabilistisk pekaranalys av multitrådade program. Den föreslagna tekniken har formen av ett typsystem och beräknar sannolikheten för varje poäng-till relation vid varje programpunkt. Nyckeln till vår strategi är att beräkna punkterna-till information via en post-typ härledning. Användningen av typsystem har fördelen att varje analysresultat förknippas med en motivering (säker) för att resultaten är korrekta. Denna motivering har formen av en typ härledning och krävs mycket i tillämpningar som certifierad kod.
Arbetet i REF presenterar en ny flödeskänslig teknik för probabilistisk pekaranalys i form av typsystem.
Probabilistic pointer analysis for multithreaded programs
{'venue': 'ScienceAsia 37 (2011): 344-354', 'journal': None, 'mag_field_of_study': ['Computer Science']}