Technischer Bericht: Points-to-Analyse für Java

Points-To-Analyse ist eine statische Programmanalyse, die potentielle Beziehungen zwischen Pointern und Daten eines Programms berechnet. Zur Points-To-Analyse für C sind in den letzten Jahren sind viele Algorithmen veröffentlicht worden, jedoch unterscheidet sich Points-To-Analyse für Java von der für C oder C++. Wir haben ein allgemeines Framework entwickelt, das es ermöglicht, verschiedene Algorithmen wie Andersen, Steensgard und deren Erweiterungen auf Java anzuwenden. Mittels einer Implementation, die den vollen Sprachumfang von Java abdeckt, wenden wir verschiedene Algorithmen auf mehrere Beispiele an und vergleichen die Ergebnisse. Dabei stellt sich heraus, daß Steensgaards Algorithmus für Java nicht ohne Einschränkungen benutzbar ist.