Ich schreibe meine Masterarbeit in CS und arbeite mit Alias-Analyse. Das, was mich interessiert, ist die intraprozedurale, flusssensitive Must- und May-Alias-Analyse für Java-ähnliche Sprachen.
Ich suche nach Texten, die die Grundlagen dieses Themas detailliert beschreiben, aber nichts wirklich Passendes finden konnten.
Ich habe eine Reihe von Lehrbüchern über Compiler und statische Analysen überlebt, dort aber nichts gefunden.
Ich habe viele Artikel gefunden, in denen die Alias-Analyse verwendet wird, aber die meisten konzentrieren sich auf das Problem, auf das die Alias-Analyse angewendet wird, und beschreiben die Alias-Analysealgorithmen nicht im Detail. Andere konzentrieren sich auf C, was aufgrund der zusätzlichen Komplexität allgemeiner Zeiger nicht geeignet ist.
Der beste Text, den ich gefunden habe, ist das Papier Compositional Pointer and Escape Analysis für Java-Programme von Whaley und Rinard. Es ist ein brillantes Papier und ein guter Ausgangspunkt, aber es geht nicht speziell auf die Alias-Analyse ein.
Das Problem scheint so allgemein zu sein, dass ich erwartet habe, dass einige kanonische Algorithmen verfügbar sind, um es zu lösen.
Hat jemand Hinweise auf Texte zu diesem Thema?