Thesis Details

Instrumentace C/C++ programů při překladu

Bachelor's Thesis Student: Mušková Kateřina Academic Year: 2020/2021 Supervisor: Smrčka Aleš, Ing., Ph.D.
English title
Instrumentation of C/C++ Programs during Compilation
Language
Czech
Abstract

This thesis presents design and implementation of the TforcTool offering compile-time instrumentation of memory access and functions. The tool is built on an existing static instrumenting tool Tforc, which was extended in order to provide greater usability and functionality. The advantage of this solution compared to another compile-time tools is that there is no need to change current compile structure of project.

Keywords

instrumentation, C++, testing, compile-time instrumentation, static instrumentation, LLVM, LLVM IR, Clang, compilation, opt, LLVM pass, memory instrumentation, function instrumentation, indirect addressing instrumentation, formal verification

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade C
Date
15 June 2021
Reviewer
Peringer Petr, Dr. Ing.
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Peringer Petr, Dr. Ing. (DITS FIT BUT), člen
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Citation
MUŠKOVÁ, Kateřina. Instrumentace C/C++ programů při překladu. Brno, 2021. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2021-06-15. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/23399/
BibTeX 
@bachelorsthesis{FITBT23399,
    author = "Kate\v{r}ina Mu\v{s}kov\'{a}",
    type = "Bachelor's thesis",
    title = "Instrumentace C/C++ program\r{u} p\v{r}i p\v{r}ekladu",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2021,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/23399/"
}

Theses

Back to top