Thesis Details

Statická analýza a vyhodnocení v jazyku C

Bachelor's Thesis Student: Užík Vladimír Academic Year: 2019/2020 Supervisor: Kolář Dušan, doc. Dr. Ing.
Language
Slovak
Abstract

Aim of this thesis is to produce a tool which performs static analysis on C language source code. Result is application regcheck which determines final state of registers used by peripherals and steps leading to that state. Application was tested on two microcontrollers.

Keywords

static analysis, C language, microcontroller, MCU, NXP

Department
Department of Information Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade C
Date
9 July 2020
Reviewer
Křivka Zbyněk, Ing., Ph.D.
Committee
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT), předseda
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT), člen
Rychlý Marek, RNDr., Ph.D. (DIFS FIT BUT), člen
Citation
UŽÍK, Vladimír. Statická analýza a vyhodnocení v jazyku C. Brno, 2020. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2020-07-09. Supervised by Kolář Dušan. Available from: https://www.fit.vut.cz/study/thesis/23202/
BibTeX 
@bachelorsthesis{FITBT23202,
    author = "Vladim\'{i}r U\v{z}\'{i}k",
    type = "Bachelor's thesis",
    title = "Statick\'{a} anal\'{y}za a vyhodnocen\'{i} v jazyku C",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2020,
    location = "Brno, CZ",
    language = "slovak",
    url = "https://www.fit.vut.cz/study/thesis/23202/"
}

Theses

Back to top