Thesis Details

Extrakce grafu toku řízení z formátu LLVM IR

Bachelor's Thesis Student: Kondula Václav Academic Year: 2016/2017 Supervisor: Smrčka Aleš, Ing., Ph.D.
English title
Extraction of Control Flow Graph from LLVM IR Format
Language
Czech
Abstract

This Bachelor's thesis deals with design and implementation of control flow graphs extraction from source files in C and C++ language to LLVM IR format. The extractor was implemented as a standalone tool using the LibTooling interface of the Clang compiler. Output of this tool follows the requirements of platform Testos, so it can be used for automated generation of test requirements based on specified coverage criteria.

Keywords

cfg, control flow graph, llvm, clang, intermediate representation, testing, libtooling, c language, c++ language, unit testing

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade C
Date
12 June 2017
Reviewer
Šoková Veronika, Ing.
Committee
Zendulka Jaroslav, doc. Ing., CSc. (DIFS FIT BUT), předseda
Fučík Otto, doc. Dr. Ing. (DCSY FIT BUT), člen
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
Citation
KONDULA, Václav. Extrakce grafu toku řízení z formátu LLVM IR. Brno, 2017. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2017-06-12. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/19239/
BibTeX 
@bachelorsthesis{FITBT19239,
    author = "V\'{a}clav Kondula",
    type = "Bachelor's thesis",
    title = "Extrakce grafu toku \v{r}\'{i}zen\'{i} z form\'{a}tu LLVM IR",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19239/"
}

Theses

Back to top