Result Details

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

KŘOUSTEK, J.; KOLÁŘ, D. Object-File-Format Description Language and Its Usage in Retargetable Decompilation. In AIP Conference Proceedings. AIP conference proceedings. Kos: American Institute of Physics, 2012. no. 1, p. 466-469. ISBN: 978-0-7354-1091-6. ISSN: 1551-7616.
Type
conference paper
Language
English
Authors
Křoustek Jakub, Ing., Ph.D., DIFS (FIT)
Kolář Dušan, doc. Dr. Ing., DIFS (FIT)
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

URL
Published
2012
Pages
466–469
Journal
AIP conference proceedings, vol. 1479, no. 1, ISSN 1551-7616
Proceedings
AIP Conference Proceedings
Conference
Symposium on Computer Languages, Implementations and Tools 2012
ISBN
978-0-7354-1091-6
Publisher
American Institute of Physics
Place
Kos
DOI
10.1063/1.4756167
UT WoS
000310698100113
BibTeX 
@inproceedings{BUT91487,
  author="Jakub {Křoustek} and Dušan {Kolář}",
  title="Object-File-Format Description Language and Its Usage in Retargetable Decompilation",
  booktitle="AIP Conference Proceedings",
  year="2012",
  journal="AIP conference proceedings",
  volume="1479",
  number="1",
  pages="466--469",
  publisher="American Institute of Physics",
  address="Kos",
  doi="10.1063/1.4756167",
  isbn="978-0-7354-1091-6",
  issn="0094-243X",
  url="http://proceedings.aip.org/resource/2/apcpcs/1479/1/466_1"
}
Projects
Advanced recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-11-2, start: 2011-01-01, end: 2013-12-31, completed
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
System for Support of Platform Independent Malware Analysis in Executable Files, TAČR, Program aplikovaného výzkumu a experimentálního vývoje ALFA, TA01010667, start: 2011-01-01, end: 2013-12-31, completed
Research groups
Hardware-Software Codesign research group (RG LISSOM)
Departments
Department of Information Systems (DIFS)
Back to top