Publication result detail

Context Parsing (Not Only) of the Object-File-Format Description Language

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

Original Title

Context Parsing (Not Only) of the Object-File-Format Description Language

English Title

Context Parsing (Not Only) of the Object-File-Format Description Language

Type

WoS Article

Original Abstract

The very first step of each tool such as linker, disassembler, or debugger is parsing of an input executable or object file. These files are stored in one of the existing object file formats (OFF). Retargetable tools are not limited to any particular target platform and they have to deal with handling of several OFFs. Handling of these formats is similar to parsing of computer languages - both of them have a predefined structure and a list of allowed constructions. However, OFF constructions are heavily mutually interconnected and they create context-sensitive units. In present, there is no generic system, which can be used for OFF description and its effective parsing.

In this paper, we propose a formal language that can be used for OFF description. Furthermore, we present a design of a context parser of this language that is based on the formal models. The major advance of this solution is an ability to describe context-sensitive properties on the level of the language itself. This concept is planned to be used in the existing retargetable decompiler developed within the Lissom project. In this project, the language and its parser will be used for an object file parsing and its automatic conversion into the internal uniform file format. It is important to say that the concept of this parser can be utilized within other programming languages.

English abstract

The very first step of each tool such as linker, disassembler, or debugger is parsing of an input executable or object file. These files are stored in one of the existing object file formats (OFF). Retargetable tools are not limited to any particular target platform and they have to deal with handling of several OFFs. Handling of these formats is similar to parsing of computer languages - both of them have a predefined structure and a list of allowed constructions. However, OFF constructions are heavily mutually interconnected and they create context-sensitive units. In present, there is no generic system, which can be used for OFF description and its effective parsing.

In this paper, we propose a formal language that can be used for OFF description. Furthermore, we present a design of a context parser of this language that is based on the formal models. The major advance of this solution is an ability to describe context-sensitive properties on the level of the language itself. This concept is planned to be used in the existing retargetable decompiler developed within the Lissom project. In this project, the language and its parser will be used for an object file parsing and its automatic conversion into the internal uniform file format. It is important to say that the concept of this parser can be utilized within other programming languages.

Keywords

object file format, context parsing, scattered context grammar,
attributed grammar, priority function, decompilation, Lissom, ELF

Key words in English

object file format, context parsing, scattered context grammar,
attributed grammar, priority function, decompilation, Lissom, ELF

Authors

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

RIV year

2014

Released

01.10.2013

ISBN

1820-0214

Periodical

Computer Science and Information Systems

Volume

10

Number

4

State

Republic of Serbia

Pages from

1673

Pages to

1702

Pages count

30

URL

http://www.comsis.org/

BibTex

@article{BUT103492,
  author="Jakub {Křoustek} and Dušan {Kolář}",
  title="Context Parsing (Not Only) of the Object-File-Format Description Language",
  journal="Computer Science and Information Systems",
  year="2013",
  volume="10",
  number="4",
  pages="1673--1702",
  doi="10.2298/CSIS130120071K",
  issn="1820-0214",
  url="http://www.comsis.org/"
}