Dekódování binárního kódu do vyšší formy reprezentace

English title

Binary-Code Decoding to a High-Level Representation

Language

Czech

Abstract

The thesis deals with reverse techniques in software engineering. It presents

practical application of software reverse engineering, used tools and approaches. The topic of instruction decoding is discussed in detail. Two basic methods are presented-linear sweep and recursive descent. Their strengths and weaknesses are highlighted. Subsequently a decompiler developed by

AVG Technologies is introduced. The decompiler is retargetable. This feature allows to decompile applications of multiple platforms into various target languages. The aim of the thesis is to design and implement algorithm for

decoding binary files into high-level representation. The designed algorithm is based on modified recursive descent algorithm, which uses control flow information. In order to achieve more accurate decoding results, symbol table records and other additional information are used. The proposed algorithm was implemented for the AVG Technologies retargetable decompiler. The tests showed that the implemented algorithm improved the function detection in decoded programs. Furthermore, the implemented solution allows to decode files that could not be analysed using the previous version of the decompiler.

Keywords

decompiler, instruction decoding, LLVM IR, hybrid analysis

Department

Department of Information Systems FIT BUT

Degree Programme

Information Technology, Field of Study Intelligent Systems

Status

defended, grade B

Date

23 June 2015

Reviewer

Soukup Ondřej, Ing.

Committee

Zbořil František V., doc. Ing., CSc. (DITS FIT BUT), předseda
Bartík Vladimír, Ing., Ph.D. (DIFS FIT BUT), člen
Bidlo Michal, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT), člen
Meduna Alexander, prof. RNDr., CSc. (DIFS FIT BUT), člen
Steingartner William, Ing., Ph.D. (TUKE), člen

Citation

MACKO, Lukáš. Dekódování binárního kódu do vyšší formy reprezentace. Brno, 2015. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2015-06-23. Supervised by Matula Peter. Available from: https://www.fit.vut.cz/study/thesis/17704/

BibTeX

@mastersthesis{FITMT17704,
    author = "Luk\'{a}\v{s} Macko",
    type = "Master's thesis",
    title = "Dek\'{o}dov\'{a}n\'{i} bin\'{a}rn\'{i}ho k\'{o}du do vy\v{s}\v{s}\'{i} formy reprezentace",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/17704/"
}