Skip to main content

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)

Language: English
Download (351kB) Preview
Official URL


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: Faculties > Sciences > School of Computing
Depositing User: Andy King
Date Deposited: 15 Dec 2013 13:06 UTC
Last Modified: 15 Feb 2020 04:05 UTC
Resource URI: (The current URI for this page, for reference purposes)
King, Andy:
  • Depositors only (login required):


Downloads per month over past year