|
|
Detection of Used Compiler
Kostka, Michal ; Ďurfina, Lukáš (referee) ; Křoustek, Jakub (advisor)
The objective of this work is a creation of compiler detector. This program can recognize compiler or modifier used for application creation. PE and ELF executable file formats are supported. This task is solved by searching for compilers´ signature, which represents compiler-specific starting routine in the file. This work is created as a part of the project Lissom.
|
|
|
C Back-End for a Decompiler
Urban, Martin ; Ďurfina, Lukáš (referee) ; Zemek, Petr (advisor)
This thesis deals with the implementation of the back-end of the decompiler, which produces a code in C language. It contains basic information about the principals and using of the reverse engineering either in the area of information technology or apart from it. The main goal is to create the back-end of the decompiler which would generate a code that would be equivalent against the input and will be translatable into a binary code. Functionality of the output code will be conserved in state of the functionality of the source code. The output is the implementation of the classes in C++ language. It does described activity as a part of the general decompiler which is developed in terms of the project Lissom.
|
|
|
Decompiler Front-End Optimizations
Odaloš, Matej ; Ďurfina, Lukáš (referee) ; Křoustek, Jakub (advisor)
Decompiler is a reverse engineering tool for translation of binary codes into one of the higher level languages. This bachelor thesis describes such a tool paying special attention on decompiler of the Lissom project. There are proposed several techniques for translation optimalization like static LLVM IR code interpretation and memory for its results. Other optimalizations are conserning addition of platform dependent features like delay slot support or memory datalayout and endianness detection. Finally implemented techniques are demostrated on several examples.
|
|
|
Enhancement of Decompilation Results
Končický, Jaromír ; Ďurfina, Lukáš (referee) ; Křoustek, Jakub (advisor)
As a part of the Lissom project, a retargetable decompiler is being developed. Its main purpose is to decompile programs for any particular microprocessor architecture into any high-level programming language. At this thesis's beginning time, its results are not optimal because the decompiler doesn't utilize all program's additional information during decompilation that can improve the results. In this thesis, reverse engineering and Lissom decompiler is described. Techniques of using additional information to enhance decompilation results are proposed. These are data section content analysis and debug information analysis (specifically the debug information in PDB format which is proprietary format). Exploration of internal PDB structure and its content is a part of this thesis. The implementation of data section analysis and debug information utilizing is described and in the end, final decompilation results are discussed.
|
|
|
Optimizations in the Decompiler's Back-End
Kollár, Jaroslav ; Ďurfina, Lukáš (referee) ; Zemek, Petr (advisor)
This bachelor's thesis describes the design and implementation of optimizations in the retargetable decompiler's back-end. The purpose of these optimizations is to improve readability of the produced source code. In the introduction, basic information about reverse engineering and decompilation is provided. Then, there is an analysis of the source code produced by the decompiler to familiarize the reader with the proposed optimizations. After that, there is the main part of this work, which describes the design and implementation of the proposed optimizations. It is followed by mentioning the techniques that were used for testing. The present work is concluded by a summary of the achieved results and their benefits.
|
|
| |
|
|
Generic Obfuscation on the Bytecode Level
Kollát, Samuel ; Křoustek, Jakub (referee) ; Ďurfina, Lukáš (advisor)
This work contains definition of obfuscation and methods of obfuscation. It is followed by description of LLVM Project and its suitability for obfuscation on the bytecode level for purpose of targeting different architectures. The core of the work is formed by detailed design of obfuscation methods aiming towards their implementation in back-end of LLVM compiler. Closing section is dedicated to verification of implemented functionality on different architectures by automated testing.
|
|
|
Pasport Editor of BUT
Bierza, Daniel ; Kolář, Dušan (referee) ; Marušinec, Jaromír (advisor)
I will present the issue of passportization in my work. I will analyze the current status of the BUT buildings. I will describe possible solutions of passportization at the BUT in the future. I will focus on the analysis of the "obr" format through the method of reverse engineering. I will do the analysis of the acquired data. I will describe the way of saving of the passportization information. I will design a graphic browser and a passportization editor.
|
|
|
Code Analysis and Transformation To a High-Level Language
Křoustek, Jakub ; Masařík, Karel (referee) ; Meduna, Alexandr (advisor)
This paper describes methods and procedures used for code analysis and transformation. It contains basic information of a science discipline called reverse engineering and its use in information technologies. The primary objective is a construction of a generic reverse compiler or decompiler, i.e. tool that can recompile from binary form (optionally from symbolic machine code) to a high level language. This operation is highly dependent on the concrete instruction set and processor architecture. This problem is solved with description of semantic of each instruction by a special language designed for this use. The output is the high level language code and is functionally equivalent to the input. The program is therefore able to work with each instruction set and code written by it can be transformed into the chosen high level language. 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.
|
|
|
Generic Decompilation of Bytecode into High-Level Representation
Mrázek, Petr ; Zemek, Petr (referee) ; Křoustek, Jakub (advisor)
The work describes methods and principles of decompilation, basic information about reverse engineering and its use in both software engineering and engineering in general. Furthermore, it introduces the decompiler developed within the Lissom project at BUT FIT. The goal of the work is to design and implement a retargetable decompiler for bytecode, which extends the original decompiler.
|
guest ::
