Publication result 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

Paper in proceedings outside WoS and Scopus

Original Abstract

This paper presents problems with analysisof binary executable files.  We introduceto you importance of studying executable files.  In the first part, we introduce PortableExecutable format (EXE files) with focus on retrieving all necessaryinformation for construction of a control flow graph.

In the next part, we present someinformation about symbolic instruction language.  It follows a description of problems withconstruction of a control flow graph.  There is presented a construction ofcontrol flow graph and its analysis with respect to graph serialization andbasic programming structures detection.

English abstract

This paper presents problems with analysisof binary executable files.  We introduceto you importance of studying executable files.  In the first part, we introduce PortableExecutable format (EXE files) with focus on retrieving all necessaryinformation for construction of a control flow graph.

In the next part, we present someinformation about symbolic instruction language.  It follows a description of problems withconstruction of a control flow graph.  There is presented a construction ofcontrol flow graph and its analysis with respect to graph serialization andbasic programming structures detection.

Keywords

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

Key words in English

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

Authors

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

RIV year

2010

Released

02.05.2008

Publisher

Marq software s.r.o.

Location

Ostrava

ISBN

978-80-86840-40-6

Book

MOSIS '08

Pages from

67

Pages to

74

Pages count

8

BibTex

@inproceedings{BUT32584,
  author="Ota {Jirák} and Dušan {Kolář}",
  title="Control Flow Graph Retrieval and Analysis via Simulation",
  booktitle="MOSIS '08",
  year="2008",
  pages="67--74",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="978-80-86840-40-6"
}