Abgeschlossene Projekte

The objective of this project is to provide tool support for programmers using aspect-oriented languages, based on dynamic and static program analysis.

Programmers shall be enabled to check the influence of their aspects on the base system as well as on other aspects. The benefit of this calculated information is obvious: programmers could use the analysis results to better understand the interactions of defined aspects among each other as well as the interactions of aspects ans base system. This information is necessary to avoid introducing flaws into a program up front or find the reasons for occurring problems.

Um sicherheitsrelevante Software zu überprüfen, reichen herkömmliche Softwareanalyse-Verfahren nicht aus. Unser Softwareanalyse-System ValSoft/Joana setzt Datenflussanalysen und deduktive Verfahren ein, um Beeinflussungen von relevanten Informationspfaden innerhalb von Programmen zu erkennen und zu analysieren.

Dieses Projekt beschäftigt sich mit der Entwicklung von Verfahren, mit denen Informationslecks in sicherheitskritischer Software aufgedeckt werden können. Ziel ist es, Verfahren zur entwickeln, die

• Sicherheit garantieren, d.h. kein Informationsleck übersehen
• für gängige Sprachen einsetzbar sind, wie etwa für C oder Java
• größere Softwaresysteme mit akzeptablem Aufwand analysieren können
• größtmögliche Präzision bieten, d.h. sehr wenige Fehlalarme generieren