The main focus of our work in the area of static analyses is to support developers during their day-to-day development tasks (design, implementation and maintenance of software programs). The goal is to enable software engineers to develop software that is comprehensible, maintainable, more reliable and extensible in shorter time frames. One mechanism to achieve this goal is to pinpoint developers to as many issues in their code as early as possible. Additionally, we explore and develop tools that enable developer to assess the quality of their code – e.g., by means of metrics – or which enable developers to explore and visualize the architecture and code of a project.

In the area of static analyses we continuously assign project-, seminar-, Bachelor- and Mastertheses. If none of the open topics suits your particular interests then just come to our offices or write an email to eichberg@st.informatik.tu-…, we may find a topic in which we are both interested.

The topics we work on cover:

• Implementation and application of static analyses for new domains
• Advancing and refining existing static analyses
• Development of static analyses based tools that help developers during the design and implementation of (new) applications
• Tools for the visualization and exploration of code
• Basic research in the area of execution environments for static analyses
• Analysis of the behavior of developers

The depth and scope of a thesis will be adapted to the type of the thesis.