User: Guest  Login
Original title:
Interprocedural Analysis of Low-Level Code 
Translated title:
Interprozedurale Analyse von Low-Level Code 
Year:
2011 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Seidl, Helmut (Prof. Dr.) 
Referee:
Seidl, Helmut (Prof. Dr.); King, Andy (Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
interprocedural analysis, analysis of low-level code, functional approach 
Translated keywords:
interprocedural analysis, analysis of low-level code, functional approach 
Abstract:
This thesis presents a fully automatic and sound interprocedural framework for executable analysis, which is employed for e.g. detecting low-level errors or malware. We present an analysis that intertwines disassembling and abstract interpretation-based analysis to provide a sound overapproximation of the control flow graph for an executable. In order to discharge certain assumptions made during control flow reconstruction we add a side-effect analysis that reasons about the modifying potential...    »
 
Translated abstract:
Diese Arbeit beschreibt ein voll automatisches interprozedurales Framework zur Analyse von Binärprogrammen. Wir stellen eine Analyse vor, die Disassemblieren und statische Analyse, basierend auf dem Prinzip der abstrakten Interpretation, verbindet, um so eine sichere Überapproximation des Kontrollflussgraphen eines Binärprogramms zu erhalten. In dem Zusammenhang sind Analysen notwendig, die das Modifikationspotential von Funktionen bestimmen und den Stack präzise analysieren. Für letztere prä...    »
 
Oral examination:
09.06.2011 
File size:
1449699 bytes 
Pages:
195 
Last change:
29.06.2011