Publication detail

Control Flow Graph Retrieval and Analysis via Simulation

JIRÁK, O. KOLÁŘ, D.

Original Title

Control Flow Graph Retrieval and Analysis via Simulation

English Title

Control Flow Graph Retrieval and Analysis via Simulation

Type

conference paper

Language

en

Original Abstract

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.

English abstract

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.

Keywords

control flow graph, CFG, CFG analysis, basic block, EXE, Portable Executable Format, structure detection

RIV year

2008

Released

02.05.2008

Publisher

NEUVEDEN

Location

Ostrava

ISBN

978-80-86840-40-6

Book

MOSIS '08

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

67

Pages to

74

Pages count

8

Documents

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"
}