Ein generischer Disassembler für Java Bytecode

Aufgabe dieses Systementwicklungsprojekts ist es, einen Disassembler für Java Bytecode zu implementieren. Sie können dabei auf bereits bestehenden Programmen/Bibliotheken wie javap oder JavaClass aufbauen.

Der Disassembler soll Java *.class-Dateien einlesen, und den Bytecode in symbolischer Form ausgeben (für Menschen lesbar, oder auch zur maschinellen Weiterverarbeitung). Dazu gehören u.a. auch die Konstanten- und Methodendeklarationen der Klasse. Was diesen Disassembler von anderen unterscheiden wird, ist die Möglichkeit, das Aussehen der Ausgabe durch eine einfache Formatbeschreibung festzulegen. Die auszugebenden Daten sind die gleichen wie bei einem traditionellen Disassembler, die Form der Ausgabe dagegen soll generisch sein.

Der Disassembler dient später zur Erzeugung von Eingabedaten für ML Programme, die aus Isabelle/HOL Spezifikationen generiert wurden.

Bearbeiter:: Matthias Kramm
Ergebnis:: Ausarbeitung (ps.gz), Programm, Webseiten
Betreuer:: Gerwin Klein, Raum 1528, email
Aufgabensteller:: Prof. Tobias Nipkow, Raum 2550, email

Weitere Projekte für Studenten