Publication Details
Code Analysis and Transformation To a High-Level Language
Reverse engineering, recompilation, compiler, decompiler, disassembler, assembler, Lissom, ISAC, LLVM IR
Primary objective of this thesis is a construction of a generic decompiler, i.e. tool that can recompile from any binary form to a chosen high level language. Output must be function-ally equivalent to the input. Process of decompilation is highly dependent on the processor architecture. This problem is solved with description of semantic of each instruction by a special language designed for this use. This proposal is implemented in practice as a part of project Lissom. Generic decompiler is completely new idea. The thesis contains entirely new techniques from theory of compilers and optimizations made by the author.
@INPROCEEDINGS{FITPUB9052, author = "Jakub K\v{r}oustek", title = "Code Analysis and Transformation To a High-Level Language", pages = "196--198", booktitle = "Proceedings of the 15th Conference STUDENT EEICT 2009", year = 2009, location = "Brno, CZ", publisher = "Brno University of Technology", ISBN = "978-80-214-3868-2", language = "czech", url = "https://www.fit.vut.cz/research/publication/9052" }