Please use this identifier to cite or link to this item: https://doi.org/10.15480/882.1507
Fulltext available Open Access
Title: BDD-based value analysis for X86 executables
Language: English
Authors: Mattsen, Sven 
Keywords: Ganzzahlanalyse;Binäre Entscheidungsbäume;Integer value analysis
Issue Date: 2017
Examination Date: 14-Dec-2017
Abstract (german): Wir präsentieren eine abstrakte Domäne zur Ganzzahlanalyse, die für maschinennahen Code, wo Präzision besonders wichtig ist, geeignet ist. Ganzzahlanalysen approximieren Ganzzahlmengen normalerwise durch konvexe Mengen, wobei Präzision verloren geht, aber Effizienz gewonnen wird. Unsere Ganzzahlanalyse basiert auf modifizierten binären Entscheidungsbäumen (BDD), die ein effizientes Speichern von Ganzzahlmengen ermöglichen. Die zugehörigen Transferfunktionen definieren wir auf der Struktur der BDDs, was sie selbst für sehr große Mengen effizient macht. Wir stellen die Domäne in Form einer Bibliothek bereit und nutzen diese, um ein Modul für Jakstab, eine Plattform zur Binäranalyse, zu implementieren. Die Bibliothek evaluieren wir durch Vergleich mit den Mengendarstellungen traditioneller Ganzzahlanalysen, das Modul durch Anwendung auf CPU2006-Testfälle.
Abstract (english): We present an abstract domain for integer value analysis that is especially suited for the analysis of low-level code, where precision is of particular interest. Traditional value analysis domains trade precision for efficiency by approximating value sets to convex shapes. Our value sets are based on modified binary decision diagrams (BDDs), which enable size-efficient storage of integer sets. The associated transfer functions are defined on the structure of the BDDs, making them efficient even for very large sets. We provide the domain in the form of a library that we use in the implementation of a plug-in for the binary analysis framework Jakstab. The library and the plug-in are evaluated by comparison to set representations in traditional value analyses and application of the plug-in to CPU2006 benchmarks respectively.
URI: http://tubdok.tub.tuhh.de/handle/11420/1510
DOI: 10.15480/882.1507
Institute: Softwaresysteme E-16 
Type: Dissertation
Advisor: Schupp, Sibylle 
Referee: Kinder, Johannes 
License: In Copyright In Copyright
Appears in Collections:Publications with fulltext

Files in This Item:
File Description SizeFormat
dis.pdf1,64 MBAdobe PDFThumbnail
View/Open
Show full item record

Page view(s)

316
Last Week
3
Last month
7
checked on Oct 1, 2020

Download(s)

256
checked on Oct 1, 2020

Google ScholarTM

Check

Note about this record

Export

Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.