Fachgebiet Software Engineering Übersicht © 09.02.2014 Albert Zündorf, Kassel University...

transcript

Fachgebiet Software Engineering Übersicht © 11.04.23 Albert Zündorf, Kassel University

Compilerbau und Reverse Engineering

Vorlesung im Wintersemester 2010/11

Prof. Albert Zündorf

Betreuer: Johannes Spohr, et. al.

Fachgebiet für Software Engineering

Organisatorisches

Umfang: 4 SWS teils Vorlesungen teils Übungen

Übungsbetreuung: Johannes Spohr

Ort und Zeit: Freitag 10:15 - 11:45 Raum 1340

Beginn: Freitag, den 22.10.2009

Prüfung:

• Projektarbeit / Hausaufgaben

• jeder einzeln

• wird nur einmal im Jahr angeboten

Folienskript, Unterlagen, Aufgabenstellungen:

• http://seblog.cs.uni-kassel.de/

• meist einen Tag in voraus.

Inhalte und Lernziele:

Lesen und Verarbeiten strukturierter Texte

Programme

Rekursiverabstiegscompiler

Compilercompiler

Codegenerierung

Codecompletion

Codeanalyse

Refactorings

Literatur

http://compilers.iecc.com/crenshaw/

Compilerbau, 2 Tle., Tl.1 von Alfred V. Aho, Ravi Sethi, und Jeffrey D. Ullman von Oldenbourg (Taschenbuch - Dezember 1999)Preis:EUR 34,80

Homework #1

Write unit tests for parsing single digits addition of those digits and computing the correct result interpreting subtraction, multiplication, and division “Punkt vor Strich” parsing parentheses

Implement the parser/interpreter.

A GUI for the interpreter only if you like.

Zip jour eclipse project

Send via Email to: alexander.jahl@student.uni-kassel.deFachgebiet Software Engineering Übersicht © 11.04.23 Albert Zündorf, Kassel University

Scanning

Code Generation

Registermaschinen

Maschinencode / Assembler

Stackmaschinen

Registermaschinen

ALUOPCodeDecoder

Adder Multiplier

LogicOps StoreOps

JumpOps

R1 ..8

Memory

01001110010001010100010000101

AddressDecoder

OPCodeDecoder

AdderAddierbefehl

Maschinencode Registermaschine

Arithmetisch, Logisch, Speicher, Sprung, …

OpCode plus 1 oder 2 Operanden

Rechenbefehle nur auf Registern

Speicherbefehle: Memory Register

Stackmaschinen

ALUOPCodeDecoder

Adder Multiplier

LogicOps StoreOps

JumpOps

R1 ..8

Memory

01001110010001010100010000101

AddressDecoder

Maschinencode Stackmaschine

Arithmetisch, Logisch, Speicher, Sprung, …

OpCode plus 1 oder 2 Operanden

Rechenbefehle auf Stack

Speicherbefehle: Memory Stack

load 0, load 8, add, store 12

Java Byte Code für eine Klassehttp://jakarta.apache.org/bcel/manual.html

BCELifier

Beispiel in Java schreiben

Compilieren

mit BCELifier "Creator" Klasse generien

anschauen

Teststrategie

funcDecl

Scopes

Procedure Call Stack

Tabellengesteuertes Parsen

Beispielgrammatik:

E ::= T ['+' T]* E ::= T E' E' ::= + T E' |

T ::= F ['*' F]* T ::= F T' T' ::= * F T' |

F ::= n | '(' E ')' F ::= n | '(' E ')'

Wortableitung

Beispielgrammatik:

E ::= T ['+' T]* E ::= T E' E' ::= + T E' |

T ::= F ['*' F]* T ::= F T' T' ::= * F T' |

F ::= n | '(' E ')' F ::= n | '(' E ')'

Parsertabelle

+ * ( ) n $

E E::=TE' E::=TE'

E' E'::=+TE' E'::= E'::=

T T::=FT' T::=FT'

T' T'::= T'::=*FT' T'::= T'::=

F F::=(E) F::=n

Algorithmus

while Stack nicht leer

if top == currentToken

pop nextToken()

rule := M[top, currentToken]poppush (rhs(rule))print rule / add AST node

Ablauf:

Stack Eingabe Ausgabe

E n + n * n $

Ablauf:

Stack Eingabe Ausgabe

Konstruktion: First und Follow

First () Menge aller Terminale mit denen beginnen kann

First (a) {a}

X ::= First ( X ) +=

X ::= A B C D First ( X ) += First ( A ) if ( First (A) ) First ( X ) += First (B) …

E ::= T E' First (E) = { }

E' ::= + T E' | First (E') = { }

T ::= F T' First (T) = { }

T' ::= * F T' | First (T') = { }

F ::= n | '(' E ')' First (F) = { }

Follow (X) alle Terminale die auf X folgen können

S Follow (S) += $

A ::= B Follow (B) += First () - if ( First () ) Follow (B) += Follow (A)

A ::= B Follow (B) += Follow (A)

E ::= T E' Follow (E) = { }

E' ::= + T E' | Follow (E') = { }

T ::= F T' Follow (T) = { }

T' ::= * F T' | Follow (T') = { }

F ::= n | '(' E ')' Follow (F) = { }

Tabellenkonstruktion

for_all A ::=

for_all a First ()

M[A,a] += A ::=

if First ()

for_all b Follow (A)

M[A,b] += A ::=

if $ Follow (A)

M[A,$] += A ::=

Tabellenkonstruktion

E ::= T E'

E' ::= + T E' |

T ::= F T'

T' ::= * F T' |

F ::= n | '(' E ')'

+ * ( ) n $

Compiler Compiler: XText

Model Driven XXX

catalog LightComponents

comp Switch sends On, Off receives On, Off

message On;

message Off;

message Dim;

Reverse Engineering

Fachgebiet Software Engineering Übersicht © 09.02.2014 Albert Zündorf, Kassel University...

Documents