User: Guest  Login
Original title:
Interprocedural Analysis of Low-Level Code
Translated title:
Interprozedurale Analyse von Low-Level Code
Author:
Flexeder, Andrea
Year:
2011
Document type:
Dissertation
Faculty/School:
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äs...     »
WWW:
https://mediatum.ub.tum.de/?id=1006212
Date of submission:
14.12.2010
Oral examination:
09.06.2011
File size:
1449699 bytes
Pages:
195
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20110609-1006212-1-6
Last change:
29.06.2011
 BibTeX