Piszę pracę magisterską w CS i pracuję nad analizą aliasów. To, co mnie interesuje, to intraproceduralne, wrażliwe na przepływ analizy must-may-may-alias dla języków podobnych do Java.
Poszukuję tekstów, które szczegółowo opisują podstawy tego tematu, ale nie udało mi się znaleźć niczego naprawdę odpowiedniego.
Przeżyłem wiele podręczników na temat kompilatorów i analiz statycznych, ale niczego tam nie znalazłem.
Znalazłem wiele prac, w których stosowana jest analiza aliasów, ale większość z nich koncentruje się na problemie, do którego stosuje się analizę aliasów i nie opisuje szczegółowo algorytmów analizy aliasów. Inni koncentrują się na C, co nie jest odpowiednio ze względu na dodatkową złożoność ogólnych wskaźników.
Najlepszy tekst, jaki znalazłem, to papier Wskaźnik kompozycyjny i Analiza ucieczki dla programów Java autorstwa Whaley i Rinarda. Jest to świetny artykuł i dobry punkt wyjścia, ale nie omawia konkretnie analizy aliasów.
Problem wydaje się tak ogólny, że spodziewałem się, że będą dostępne algorytmy kanoniczne do jego rozwiązania.
Czy ktoś ma jakieś wskazówki do tekstów na ten temat?