Skip to main content
Kent Academic Repository

Analysis of Executables: Benefits and Challenges

King, Andy, Mycroft, Alan, Simon, Axel, Reps, Tom (2012) Analysis of Executables: Benefits and Challenges. Dagstuhl Reports, 2 (1). pp. 100-116. ISSN 2192-5283. (doi:10.4230/DagRep.2.1.100) (KAR id:37628)


The analysis of executables is concerned with extracting information from a binary program typically, though not exclusively, with program analysis techniques based on abstract interpretation. This topic has risen to prominence due to the need to audit code, developed by third parties for which the source is unavailable. Moreover, compilers are themselves a source of bugs, hence the need to scrutinise and systematically examine executables.

Item Type: Article
DOI/Identification number: 10.4230/DagRep.2.1.100
Uncontrolled keywords: Executable analysis, reverse engineering, malware detection, control flow reconstruction, emulators, binary instrumentation
Subjects: A General Works > AC Collections. Series. Collected works
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Andy King
Date Deposited: 15 Dec 2013 13:06 UTC
Last Modified: 16 Nov 2021 10:14 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.