24.11.2013 Aufrufe

Java Bytecode-Generierung im Rahmen eines Softwarepraktikums ...

Java Bytecode-Generierung im Rahmen eines Softwarepraktikums ...

Java Bytecode-Generierung im Rahmen eines Softwarepraktikums ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Der <strong>Java</strong> (<strong>Bytecode</strong>) Verifier<br />

Durchgeführte Tests:<br />

Strukturelle Prüfung<br />

Entspricht .class-Dateiformat<br />

constant pool (selbst und Verweise darauf)<br />

Offsets in Sprunganweisungen<br />

Offsets + Typen in constant pool<br />

Umgebung: Verweise auf andere Klassen und ihre Methoden<br />

Inhalt (der eigentliche <strong>Bytecode</strong>)<br />

<strong>Java</strong> <strong>Bytecode</strong>-<strong>Generierung</strong> <strong>im</strong> <strong>Rahmen</strong> <strong>eines</strong> <strong>Softwarepraktikums</strong> in HASKELL — 24

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!