Thesis Details

Alias analýza v překladači jazyka C

Bachelor's Thesis Student: Bolvanský Dávid Academic Year: 2017/2018 Supervisor: Hruška Tomáš, prof. Ing., CSc.
English title
Alias Analysis in C Compiler
Language
Czech
Abstract

This thesis is dedicated to the problem of alias analysis and possibilities of its improvement in the LLVM framework. The goal of this thesis is to improve the accuracy, which was achieved by extending the existing implementation of Andresen algorithm to be field sensitive. The terms related to alias analysis and algorithms of the alias analysis available in LLVM are explained. These algorithms are compared according to their base idea, features, and limitations. The implementation of the field sensitivity has been tested using compiler test suites. Its impact on program compilation speed and performance has been analyzed. The measured results show an increase in the accuracy of alias analysis in the LLVM framework.

Keywords

alias analysis, pointer analysis, optimizations, pointers, structure, field, static analysis, LLVM, Clang

Department
Department of Information Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade B
Date
13 June 2018
Reviewer
Zachariášová Marcela, Ing., Ph.D.
Committee
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT), předseda
Burget Radek, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT), člen
Fučík Otto, doc. Dr. Ing. (DCSY FIT BUT), člen
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Citation
BOLVANSKÝ, Dávid. Alias analýza v překladači jazyka C. Brno, 2018. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2018-06-13. Supervised by Hruška Tomáš. Available from: https://www.fit.vut.cz/study/thesis/19579/
BibTeX 
@bachelorsthesis{FITBT19579,
    author = "D\'{a}vid Bolvansk\'{y}",
    type = "Bachelor's thesis",
    title = "Alias anal\'{y}za v p\v{r}eklada\v{c}i jazyka C",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2018,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19579/"
}

Theses

Back to top