Static analysis of x86 executables [Elektronische Ressource] = Statische Analyse von Programmen in x86-Maschinensprache / Johannes Kinder
199 pages
Deutsch
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Static analysis of x86 executables [Elektronische Ressource] = Statische Analyse von Programmen in x86-Maschinensprache / Johannes Kinder

-

Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
199 pages
Deutsch

Description

Dissertation zur Erlangung des Grades eines Doktors derNaturwissenschaften (Dr. rer. nat.)Static Analysis of x86 ExecutablesStatische Analyse von Programmen in x86 MaschinenspracheDipl.-Inf. Johannes Kindergeb. in Munchen¨Eingereicht am 24. September 2010Referent: Prof. Dr. Helmut VeithKorreferentin: Prof. Dr.-Ing. Mira MeziniPrufungs¨ termin: 17. November 2010Fachbereich InformatikTechnische Universitat¨ DarmstadtDarmstadt – 2010 – D17Erklarung zur DissertationHiermit versichere ich, die vorliegende Dissertation ohne Hilfe Dritter nur mitden angegebenen Quellen und Hilfsmitteln angefertigt zu haben. Alle Stellen,die aus Quellen entnommen wurden, sind als solche kenntlich gemacht. DieseArbeit hat in gleicher oder ahnlicher¨ Form noch keiner Prufungsbeh¨ or¨ de vorge-legen.Darmstadt, den 24. September 2010Johannes KinderAcknowledgmentsFirst and foremost, I would like to thank my advisor, Helmut Veith, for his con-tinuing support and his valuable guidance in all aspects of academic life. Hegave me considerable freedom in developing my own research agenda and al-ways trusted in my abilities. His uncomplicated way of leading our group al-lowed everyone to do their best and made it easy to focus on research and teach-ing without unnecessary overhead.Furthermore, I thank my colleagues for fruitful scientific discussions and thecheerful hours both on and off campus.

Sujets

Informations

Publié par
Publié le 01 janvier 2010
Nombre de lectures 39
Langue Deutsch
Poids de l'ouvrage 1 Mo

Exrait