Reconstruction of Instruction Idioms in a Retargetable Decompiler: Revisited
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F14%3APU111916" target="_blank" >RIV/00216305:26230/14:PU111916 - 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/CSIS131203076K" target="_blank" >10.2298/CSIS131203076K</a>
Alternative languages
Result language
angličtina
Original language name
Reconstruction of Instruction Idioms in a Retargetable Decompiler: Revisited
Original language description
Retargetable executable-code decompilation is a one of the most complicated reverse-engineering tasks. Among others, it involves de-optimization of compiler-optimized code. One type of such an optimization is usage of so-called instruction idioms. These idioms are used to produce faster or even smaller executable files. On the other hand, decompilation of instruction idioms without any advanced analysis produces almost unreadable high-level language code that may confuse the user of the decompiler. In this paper, we revisit and extend the previous approach of instruction-idioms detection used in a retargetable decompiler developed within the Lissom project. The previous approach was based on detection of instruction idioms in a very-early phase of decompilation (a front-end part) and it was inaccurate for architectures with a complex instruction set (e.g. Intel x86). The novel approach is based on delaying detection of idioms and reconstruction of code to the later phase (a middle-end part). For this purpose, we use the LLVM optimizer and we implement this analysis as a new pass in this tool. According to experimental results, this new approach significantly outperforms the previous approach as well as the other commercial solutions.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - 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)
Result continuities
Project
<a href="/en/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: IT4Innovations Centre of Excellence</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
COMPUT SCI INF SYST
ISSN
1820-0214
e-ISSN
—
Volume of the periodical
11
Issue of the periodical within the volume
4
Country of publishing house
RS - THE REPUBLIC OF SERBIA
Number of pages
22
Pages from-to
1337-1359
UT code for WoS article
000345948100009
EID of the result in the Scopus database
2-s2.0-84923932809