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.