Conference paper

KŘOUSTEK Jakub and KOLÁŘ Dušan. Object-File-Format Description Language and Its Usage in Retargetable Decompilation. In: AIP Conference Proceedings. Kos: American Institute of Physics, 2012, pp. 466-469. ISBN 978-0-7354-1091-6. ISSN 1551-7616. Available from:
Publication language:english
Original title:Object-File-Format Description Language and Its Usage in Retargetable Decompilation
Title (cs):Návrh jazyka pro popis formátů objektových souborů a jeho využití při rekonfigurovatelném zpětném překladu
Proceedings:AIP Conference Proceedings
Conference:Symposium on Computer Languages, Implementations and Tools 2012
Place:Kos, GR
Journal:AIP Conference Proceedings, Vol. 1479, No. 1, US
Publisher:American Institute of Physics
object file conversion, description language, object file formats, decompilation, Lissom, ELF, PE, COFF, parsing
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.

   author = {Jakub K{\v{r}}oustek and Du{\v{s}}an Kol{\'{a}}{\v{r}}},
   title = {Object-File-Format Description Language and Its Usage in
	Retargetable Decompilation},
   pages = {466--469},
   booktitle = {AIP Conference Proceedings},
   journal = {AIP Conference Proceedings},
   volume = {1479},
   number = {1},
   year = {2012},
   location = {Kos, GR},
   publisher = {American Institute of Physics},
   ISBN = {978-0-7354-1091-6},
   ISSN = {1551-7616},
   language = {english},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]