Saya menulis tesis master saya di CS dan saya bekerja dengan analisis alias. Hal yang saya tertarik adalah intraprocedural, analisis aliran must-and-alias yang sensitif untuk bahasa mirip Java.
Saya mencari teks yang menggambarkan dasar-dasar dari subjek ini secara terperinci tetapi tidak dapat menemukan sesuatu yang benar-benar cocok.
Saya selamat dari sejumlah buku teks tentang kompiler dan analisis statis tetapi tidak menemukan apa pun di sana.
Saya telah menemukan banyak makalah di mana analisis alias digunakan, tetapi kebanyakan dari mereka berfokus pada masalah analisis alias yang diterapkan dan tidak menjelaskan algoritma analisis alias secara rinci. Lainnya fokus pada C yang tidak sesuai karena kompleksitas tambahan dari petunjuk umum.
Teks terbaik yang saya temukan adalah kertas Pointer Komposisi dan Analisis Escape untuk Program Java oleh Whaley dan Rinard. Ini adalah makalah yang brilian dan titik awal yang baik tetapi tidak membahas analisis alias secara khusus.
Masalahnya tampak begitu umum sehingga saya berharap akan ada beberapa algoritma kanonik yang tersedia untuk menyelesaikannya.
Apakah ada yang punya petunjuk teks pada subjek ini?