Recovering High-Level Conditions from Binary Programs


The need to get confidence in binary programs without access to their source code has pushed efforts forward to directly analyze executable programs. However, low-level programs lack high-level structures (such as types, control-flow graph, etc.), preventing the straightforward application of sourcecode analysis techniques. Especially, conditional jumps… (More)
DOI: 10.1007/978-3-319-48989-6_15


8 Figures and Tables

Slides referencing similar topics