Diplomarbeit (abgeschlossen)
FIRM ist eine SSA-basierte Compiler-Zwischensprache. Im
CATE-Projekt wird FIRM eine der Darstellungen
des zu analysierenden Softwaresystems sein.
Zur Einbindung der Java-Implementierung von FIRM
soll eine Infrastruktur geschaffen werden, die es ermöglicht,
aus der RECODER-eigenen Programmrepräsation (AST) die
dazugehörigen FIRM-Graphen und -Strukturen aufzubauen,
wobei aus den FIRM-Strukturen wiederum auf die
entsprechenden RECODER- und damit auf die Quelltext-Elemente
geschlossen werden kann.
Die Ergebnisse sind in das DFG-Projekt
CATE eingebettet.
Betreuer
|