Combination of relia... Theses on offer Fault Description La...

Diploma thesis

Generierung einer programmiersprachenunabhängigen Repräsentation des Daten- und Kontrollflusses

(Original Title:Generierung einer programmiersprachenunabhängigen Repräsentation des Daten- und Kontrollflusses)

 

Abstract

The information about a program or application determined by static control- and dataflow analyses is essentially independent of the used programming language s syntactic characteristics. For the support of the language independent reusability of analytic techniques and tools it is useful to derive this information from an abstract source code representation. This work examines existing approaches and techniques for the programming language independent representation of source code of both procedural and object-oriented programming languages and assesses them according to defined criteria. It considers control flow graphs with and without data flow information, Java Interclass Graphs, Abstract Syntax Trees, different Dependence Graphs, and XML-based techniques. The results of this examination led to the development of a new, innovative model for the abstract representation of program code, the so-called LIM (language independent model). The LIM is a Java-based object model and facilitates the programming language independent representation of applications and systems of both procedural and objectoriented programming languages. It contains all the relevant information for controland dataflow analyses and for the derivation of various metrics. In addition to the LIM model, the LIM-Generator tool has been developed to generate the LIM model and an accompanying graphical representation of any given Java program.

Author: Holger Lüttmann

Tutor: Dipl.-Inf. Johannes Drexler