Sto scrivendo la tesi di laurea magistrale in CS e sto lavorando con l'analisi alias. La cosa che mi interessa è l'analisi intraprocedurale, sensibile al flusso e alias may per linguaggi simili a Java.
Sto cercando testi che descrivono le basi di questo argomento in modo dettagliato ma non sono riuscito a trovare qualcosa di veramente adatto.
Sono sopravvissuto a numerosi libri di testo su compilatori e analisi statiche ma non ho trovato nulla lì.
Ho trovato molti articoli in cui viene utilizzata l'analisi degli alias, ma la maggior parte di essi è focalizzata sul problema a cui viene applicata l'analisi degli alias e non descrive in dettaglio gli algoritmi di analisi degli alias. Altri si concentrano su C, che non è adeguatamente a causa della complessità aggiunta di indicatori generali.
Il miglior testo che ho trovato è il documento Compositional Pointer and Escape Analysis for Java Programs di Whaley and Rinard. È un documento brillante e un buon punto di partenza, ma non discute specificamente dell'analisi alias.
Il problema sembra così generale, quindi mi aspettavo che fossero disponibili alcuni algoritmi canonici per risolverlo.
Qualcuno ha qualche suggerimento per i testi su questo argomento?