Reverse Engineering von Datenstrukturen am Beispiel von Datentypen prozeduraler Sprachen

12.05.2000

Zum Starten hier klicken

Inhaltsverzeichnis

Reverse Engineering von Datenstrukturen am Beispiel von Datentypen prozeduraler Sprachen

Motivation

Generierter Code vs. Optimierer

Übersicht

Übersicht

Code-Beispiel I

Code-Beispiel II

Datenstrukturanalyse

Prozedurale Sprachmerkmale / Datentypen

Typrekonstruktion

Typrekonstruktion: Typ-Unifikation I

Typrekonstruktion: Typ-Unifikation II

Typrekonstruktion: erweiterte Alias-Analyse

Code-Beispiel II

Code-Beispiel III - constant folding

Typrekonstruktion: erweiterte Alias-Analyse II

Ausblick

 Autor:Stefan Helfert 

E-Mail: Stefan.Helfert@informatik.uni-mannheim.de