Former Projects

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.

When verifying software for security, traditional software analysis methods are often insufficient. Our software analysis system ValSoft/Joana uses dataflow-analysis and deductive methods to detect and analyze relevant information flow in programs.

This project develops techniques that detect all illicit information flow in security relevant software. Our goal is to develop analyses that

• guarantee security, i.e. miss no information leak
• analyze established languages, like C or Java
• process larger software systems with acceptable effort
• offer maximal precision, such that very few false alarms are generated