Literatur zur Alias-Analyse

10

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?

Lii
quelle

Antworten:

9

Es gibt ein aktuelles Umfragepapier zur Alias-Analyse für objektorientierte Programme .

Es wird im April im LNCS-Band auf dem neuesten Stand der Technik veröffentlicht (kostenlose Werbemeldung): Aliasing in der objektorientierten Programmierung : Typen, Analyse und Verifizierung. Lecture Notes in Computer Science, Vol. 3, No. 7850. Dave Clarke, Tobias Wrigstad, James Noble (Hrsg.)

Dave Clarke
quelle
Das scheint interessant zu sein, danke. Der Ansatz, den sie beschreiben, scheint nicht genau auf meine Bedürfnisse zugeschnitten zu sein, aber das Papier könnte mich zu etwas anderem führen.
Lii