Publication Details

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

KŘOUSTEK, J.; KOLÁŘ, D. Context Parsing (Not Only) of the Object-File-Format Description Language. COMPUT SCI INF SYST, 2013, vol. 10, no. 4, p. 1673-1702. ISSN: 1820-0214.
Czech title
Jazyk pro popis formátů objektových souborů a jeho kontextové zpracování
Type
journal article
Language
English
Authors
Křoustek Jakub, Ing., Ph.D.
Kolář Dušan, doc. Dr. Ing. (DIFS)
URL
Keywords

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

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.

Published
2013
Pages
1673–1702
Journal
COMPUT SCI INF SYST, vol. 10, no. 4, ISSN 1820-0214
DOI
10.2298/CSIS130120071K
UT WoS
000327912000009
BibTeX 
@article{BUT103492,
  author="Jakub {Křoustek} and Dušan {Kolář}",
  title="Context Parsing (Not Only) of the Object-File-Format Description Language",
  journal="COMPUT SCI INF SYST",
  year="2013",
  volume="10",
  number="4",
  pages="1673--1702",
  doi="10.2298/CSIS130120071K",
  issn="1820-0214",
  url="http://www.comsis.org/"
}
Back to top