Thesis Details

Strukturování kódu v zadní části zpětného překladače

Bachelor's Thesis Student: Hrbek David Academic Year: 2013/2014 Supervisor: Zemek Petr, Ing.
English title
Code Structuring in Decompiler Back-End
Language
Czech
Abstract

The goal of this thesis was to design and implement an algorithm for code structuring in Lissom decompiler's back-end. This algorithm eliminates indirect jumps (branch/goto) from low-level code with a use of high-level constructs, such as conditional statements (if, switch) and loops (for, while). This thesis contains an introduction into the topic of decompilation, some information about the Lissom project's decompiler, a proposal of the structuring algorithm, details of its implementation, testsuite description and results summary.

Keywords

decompilation, Lissom project's decompiler, LLVM IR, BIR, code structuring, decompiler's back-end

Department
Department of Information Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade C
Date
18 June 2014
Reviewer
Matula Peter, Ing.
Committee
Meduna Alexander, prof. RNDr., CSc. (DIFS FIT BUT), předseda
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT), člen
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT), člen
Rychlý Marek, RNDr., Ph.D. (DIFS FIT BUT), člen
Citation
HRBEK, David. Strukturování kódu v zadní části zpětného překladače. Brno, 2014. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2014-06-18. Supervised by Zemek Petr. Available from: https://www.fit.vut.cz/study/thesis/16161/
BibTeX 
@bachelorsthesis{FITBT16161,
    author = "David Hrbek",
    type = "Bachelor's thesis",
    title = "Strukturov\'{a}n\'{i} k\'{o}du v zadn\'{i} \v{c}\'{a}sti zp\v{e}tn\'{e}ho p\v{r}eklada\v{c}e",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2014,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/16161/"
}

Theses

Back to top