Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křoustek Jakub, Ing., Ph.D., UIFS (FIT)
Kolář Dušan, doc. Dr. Ing., UIFS (FIT)
Abstrakt

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.

Klíčová slova

object file conversion, description language, object file formats, decompilation, Lissom, ELF, PE, COFF, parsing

URL
Rok
2012
Strany
466–469
Časopis
AIP conference proceedings, roč. 1479, č. 1, ISSN 1551-7616
Sborník
AIP Conference Proceedings
Konference
Symposium on Computer Languages, Implementations and Tools 2012
ISBN
978-0-7354-1091-6
Vydavatel
American Institute of Physics
Místo
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"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Pokročilé rozpoznávání a prezentace multimediálních dat, VUT, Vnitřní projekty VUT, FIT-S-11-2, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Systém pro podporu platformě nezávislé analýzy škodlivého kódu ve spustitelných souborech, TAČR, Program aplikovaného výzkumu a experimentálního vývoje ALFA, TA01010667, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina Hardware-Software Codesign (VZ LISSOM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru