User: Guest  Login
Title:

IR Preprocessing for Deep Binary Analysis

Document type:
Report / Forschungsbericht
Author(s):
J. Kranz and B. Mihaila and H. Siegel and A. Simon
Abstract:
Verifying the absence of vulnerabilities in executable programs (binaries) requires a precise static analysis that combines several abstract domains to infer targets of indirect jumps, bounds for array accesses, precise points-to information, etc. A particular challenge for such a complex analysis is the size of the input: Each source code line translates to several machine instructions; the semantics of a machine instruction, in turn, is expressed using several operations in an intermediate re...     »
Contracting organization:
Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik (Prof. Seidl)
Year:
2016
WWW:
https://mediatum.ub.tum.de/1470488
TUM Institution:
Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik (Prof. Seidl)
 BibTeX