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

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APU106352" target="_blank" >RIV/00216305:26230/13:PU106352 - isvavai.cz</a>

Result on the web

<a href="http://www.comsis.org/" target="_blank" >http://www.comsis.org/</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.2298/CSIS130120071K" target="_blank" >10.2298/CSIS130120071K</a>

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2013

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

COMPUT SCI INF SYST

ISSN

1820-0214

e-ISSN

—

Volume of the periodical

10

Issue of the periodical within the volume

4

Country of publishing house

RS - THE REPUBLIC OF SERBIA

Number of pages

30

Pages from-to

1673-1702

UT code for WoS article

000327912000009

EID of the result in the Scopus database

—