Recovering High-Level Conditions from Binary Programs

Abstract

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

Topics

8 Figures and Tables

Slides referencing similar topics