Verzeichnis der Abschlussarbeiten

Dieser Arbeit fasst die vorhandenen Technologien aus Sicht des Programmverständnisses zusammen.
Die theoretischen Prinzipien und spezifischen statischen Analysetechniken und Beispiele werden
diskutiert.
Die Forschungsfrage lautet: „Welche Code Analyse Methoden eignet sich am besten für ein
undokumentiertes Programm nach Kriterien der Genauigkeit und Analysetiefe, um eine
Zwischendarstellung des Programms für weiterführende Verfahren zu generieren?“. Für Beispiele wird
eine ausgewählte Funktion aus der WVTA GmbH Software durch verschiedene Analyse-Techniken
analysiert und die Ergebnisse verglichen, um unsere Frage zu beantworten.
Der Zweck dieser Arbeit besteht darin, die Code-Analysemethode zu finden, die für die
Zwischendarstellung des nicht aufgezeichneten Programms am besten geeignet ist. Die
Ausgangshypothese lautet, dass die Programm-Slicing-Analyse-Methode für unseren Zweck nach den
angegebenen Kriterien am besten das Ziel des Arbeit erreicht.
Nach mehreren dargestellten Analyse Methoden ist es klar geworden, dass ein qualitativer Ergebniss
einer Quellcode Analyse nicht durch eine, sondern mehrere Methoden erreicht werden kann.

This paper summarizes the existing technologies from the perspective of program understanding. The
theoretical principles and specific static analysis techniques and examples are discussed.
The research question is: "Which code analysis methods are best suited for an undocumented program
according to criteria of accuracy and depth of analysis to generate an intermediate representation of the
program for further procedures?". For examples, a selected function from WVTA GmbH software is
analyzed by different analysis techniques and the results are compared to answer our question.
The purpose of this work is to find the code analysis method that is best suited for the intermediate
representation of the unrecorded program. The initial hypothesis is that the program slicing analysis
method best achieves the goal of the work for our purpose according to the stated criteria.
After several presented analysis methods it has become clear that a qualitative result of a source code
analysis can be achieved not by one but by several methods combined.