Publication detail

Object-File-Format Description Language and Its Usage in Retargetable Decompilation

KŘOUSTEK, J. KOLÁŘ, D.

Original Title

Object-File-Format Description Language and Its Usage in Retargetable Decompilation

English Title

Object-File-Format Description Language and Its Usage in Retargetable Decompilation

Type

conference paper

Language

en

Original Abstract

Parsing and processing of binary object files is a preliminary task of several tools, such as linkers, disassemblers, and debuggers. Retargetable tools, i.e. tools that are not limited to a particular platform, have to deal with handling of several object file formats. However, there is no generic system, which can be used for this task at the moment. In this paper, the formal language for the description of object file formats is proposed. This language is used in the existing retargetable decompiler developed within the Lissom project. In this project, the language is used for an object file parsing and its automatic conversion into the internal COFF-based file format. Furthermore, the language is general enough to be used in other retargetable tools. We illustrate the usage of this language on the ELF file format.

English abstract

Parsing and processing of binary object files is a preliminary task of several tools, such as linkers, disassemblers, and debuggers. Retargetable tools, i.e. tools that are not limited to a particular platform, have to deal with handling of several object file formats. However, there is no generic system, which can be used for this task at the moment. In this paper, the formal language for the description of object file formats is proposed. This language is used in the existing retargetable decompiler developed within the Lissom project. In this project, the language is used for an object file parsing and its automatic conversion into the internal COFF-based file format. Furthermore, the language is general enough to be used in other retargetable tools. We illustrate the usage of this language on the ELF file format.

Keywords

object file conversion, description language, object file formats, decompilation, Lissom, ELF, PE, COFF, parsing

RIV year

2012

Released

19.09.2012

Publisher

American Institute of Physics

Location

Kos

ISBN

978-0-7354-1091-6

Book

AIP Conference Proceedings

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

466

Pages to

469

Pages count

4

URL

Documents

BibTex


@inproceedings{BUT91487,
  author="Jakub {Křoustek} and Dušan {Kolář}",
  title="Object-File-Format Description Language and Its Usage in Retargetable Decompilation",
  annote="Parsing and processing of binary object files is a preliminary task of several
tools, such as linkers, disassemblers, and debuggers. Retargetable tools, i.e.
tools that are not limited to a particular platform, have to deal with handling
of several object file formats. However, there is no generic system, which can be
used for this task at the moment. In this paper, the formal language for the
description of object file formats is proposed. This language is used in the
existing retargetable decompiler developed within the Lissom project. In this
project, the language is used for an object file parsing and its automatic
conversion into the internal COFF-based file format. Furthermore, the language is
general enough to be used in other retargetable tools. We illustrate the usage of
this language on the ELF file format.",
  address="American Institute of Physics",
  booktitle="AIP Conference Proceedings",
  chapter="91487",
  doi="10.1063/1.4756167",
  edition="NEUVEDEN",
  howpublished="electronic, physical medium",
  institution="American Institute of Physics",
  number="1",
  year="2012",
  month="september",
  pages="466--469",
  publisher="American Institute of Physics",
  type="conference paper"
}