Analysis of Executables: Benefits and Challenges

King, Andy and Mycroft, Alan and Simon, Axel and Reps, Tom (2012) Analysis of Executables: Benefits and Challenges. In: Dagstuhl Reports. pp. 100-116. (doi:https://doi.org/10.4230/DagRep.2.1.100) (Full text available)

Abstract

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: Conference or workshop item (Paper)
Uncontrolled keywords: Executable analysis, reverse engineering, malware detection, control flow reconstruction, emulators, binary instrumentation
Subjects: A General Works
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: 03 Jul 2014 12:42 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/37628 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year