User: Guest  Login
Document type:
Report / Forschungsbericht 
Author(s):
J. Kranz and B. Mihaila and H. Siegel and A. Simon 
Title:
IR Preprocessing for Deep Binary Analysis 
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 
TUM Institution:
Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik (Prof. Seidl)