Conference paper

KŘOUSTEK Jakub and POKORNÝ Fridolín. Reconstruction of Compiler's Instruction Idioms in a Retargetable Decompiler. In: 4th Workshop on Advances in Programming Languages (WAPL'13). Kraków: IEEE Computer Society, 2013, pp. 1507-1514. ISBN 978-1-4673-4471-5. Available from: https://fedcsis.org/proceedings/2013/index.html
Publication language:english
Original title:Reconstruction of Instruction Idioms in a Retargetable Decompiler
Title (cs):Rekonstrukce instrukčních idiomů v rekonfigurovatelném zpětném překladači
Pages:1507-1514
Proceedings:4th Workshop on Advances in Programming Languages (WAPL'13)
Conference:4th Workshop on Advances in Programming Languages (WAPL'13)
Place:Kraków, PL
Year:2013
URL:https://fedcsis.org/proceedings/2013/index.html
ISBN:978-1-4673-4471-5
Publisher:IEEE Computer Society
Keywords
compiler optimizations, reverse engineering, decompiler, Lissom, instruction idioms, bit twiddling hacks
Annotation
Machine-code decompilation is a reverse-engineering discipline focused on reverse compilation. It performs an application recovery from binary executable files back into the high level language (HLL) representation. One of its critical tasks is to produce an accurate and well-readable code. However, this is a challenging task since the executable code may be produced by one of the modern compilers that use advanced optimizations. 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 HLL code that may confuse the user of a decompiler. In this paper, we present a method of instruction-idioms detection and reconstruction back into a readable form with the same meaning. This approach is adapted in an existing retargetable decompiler developed within the Lissom project. The implementation has been tested on several modern compilers and target architectures. According to our experimental results, the proposed solution is highly accurate on the RISC (Reduced Instruction Set Computer) processor families, but it should be further improved on the CISC (Complex Instruction Set Computer) architectures.

BibTeX:
@INPROCEEDINGS{
   author = {Jakub K{\v{r}}oustek and Fridol{\'{i}}n Pokorn{\'{y}}},
   title = {Reconstruction of Instruction Idioms in a Retargetable
	Decompiler},
   pages = {1507--1514},
   booktitle = {4th Workshop on Advances in Programming Languages (WAPL'13)},
   year = {2013},
   location = {Krak{\'{o}}w, PL},
   publisher = {IEEE Computer Society},
   ISBN = {978-1-4673-4471-5},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=10328}
}

Your IPv4 address: 54.166.245.10
Switch to IPv6 connection

DNSSEC [dnssec]