Detail publikace

Control Flow Graph Retrieval and Analysis via Simulation

Originální název

Control Flow Graph Retrieval and Analysis via Simulation

Anglický název

Control Flow Graph Retrieval and Analysis via Simulation

Jazyk

en

Originální abstrakt

This paper presents problems with analysis of binary executable files.  We introduce to you importance of studying executable files.  In the first part, we introduce Portable Executable format (EXE files) with focus on retrieving all necessary information for construction of a control flow graph. In the next part, we present some information about symbolic instruction language.  It follows a description of problems with construction of a control flow graph.  There is presented a construction of control flow graph and its analysis with respect to graph serialization and basic programming structures detection.

Anglický abstrakt

This paper presents problems with analysis of binary executable files.  We introduce to you importance of studying executable files.  In the first part, we introduce Portable Executable format (EXE files) with focus on retrieving all necessary information for construction of a control flow graph. In the next part, we present some information about symbolic instruction language.  It follows a description of problems with construction of a control flow graph.  There is presented a construction of control flow graph and its analysis with respect to graph serialization and basic programming structures detection.

BibTex


@inproceedings{BUT32584,
  author="Ota {Jirák} and Dušan {Kolář}",
  title="Control Flow Graph Retrieval and Analysis via Simulation",
  annote="This paper presents problems with analysis of binary executable files.  We
introduce to you importance of studying executable files.  In the first part, we
introduce Portable Executable format (EXE files) with focus on retrieving all
necessary information for construction of a control flow graph. 

In the next part, we present some information about symbolic instruction
language.  It follows a description of problems with construction of a control
flow graph.  There is presented a construction of control flow graph and its
analysis with respect to graph serialization and basic programming structures
detection.",
  address="NEUVEDEN",
  booktitle="MOSIS '08",
  chapter="32584",
  edition="NEUVEDEN",
  howpublished="print",
  institution="NEUVEDEN",
  year="2008",
  month="may",
  pages="67--74",
  publisher="NEUVEDEN",
  type="conference paper"
}