Universität Karlsruhe
SSA-Generierung aus dem Recoder-AST

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

Alumni
Dr. Florian Liekweg
Login
Links