Points-To Analyse für eine Kernsprache von AspectJ: und darauf basierende Advice Interferenzanalyse (German Edition)

Aspektorientierte Programmierung ist ein neues Modularisierungskonzept des Softwareentwurfs. Mithilfe dieses Konzepts ist es möglich, in Softwaresystemen "crosscutting concerns" in eigenständige Module -sogenannte "Aspekte"- zu extrahieren. In sogenannten "Pieces of Advice" können an bestimmten Stellen im Programmfluss, den Joinpoints, zusätzliche Aktionen definiert werden. Da Pieces of Advice Zugriff auf den Kontext der Joinpoints und insbesondere auf die Heapobjekte in diesem Kontext haben, können Konfliktsituationen auftreten. Eine Interferenzanalyse benötigt Informationen über den Datenfluss im Programm um diese Konfliktsituationen zu lokalisieren. Mithilfe einer Points-To Analyse lassen sich die benötigten Informationen ermitteln. Sowohl für die Points-To Analyse als auch für die Interferenzanalyse wurden funktionierende Prototypen für einen Teil der aspektorientierten Sprache AspectJ implementiert. Basierend auf dieser Arbeit können weitere Programmanalysen für AspectJ entwickelt werden.