Detail práce

Statická analýza a vyhodnocení v jazyku C

Bakalářská práce Student: Užík Vladimír Akademický rok: 2019/2020 Vedoucí: Kolář Dušan, doc. Dr. Ing.
Jazyk práce
slovenský
Abstrakt

Cieľom práce je tvorba nástroja na analýzu zdrojového kódu v jazyku C za účelom zistenia hodnôt registrov perférnych zariadení. Výsledkom je nástroj regcheck ktorý je schopný určiť konečný stav týchto registrov ako aj kroky k nemu vedúce. Nástroj je otestovaný na 2 mikrokontroléroch.

Klíčová slova

statická analýza, jazyk C, mikrokontrolér, MCU, NXP

Ústav
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
9. července 2020
Oponent
Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázku oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C.

Otázky u obhajoby
  1. Z jakého důvodu není pro implementaci využit překládaný jazyk, kde by bylo možné očekávat získávání výsledků dostatečně rychle na to, aby bylo možné analýzu integrovat do vývojového prostředí odpovídajících mikrokontrolérů.
  2. Jak a na jakých programech jste aplikaci testoval?
Komise
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT), předseda
Chudý Peter, doc. Ing., Ph.D. MBA (UPGM FIT VUT), člen
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT), člen
Rychlý Marek, RNDr., Ph.D. (UIFS FIT VUT), člen
Citace
UŽÍK, Vladimír. Statická analýza a vyhodnocení v jazyku C. Brno, 2020. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2020-07-09. Vedoucí práce Kolář Dušan. Dostupné z: https://www-dev.fit.vutbr.cz/study/thesis/23202/
BibTeX
@bachelorsthesis{FITBT23202,
    author = "Vladim\'{i}r U\v{z}\'{i}k",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Statick\'{a} anal\'{y}za a vyhodnocen\'{i} v jazyku C",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2020,
    location = "Brno, CZ",
    language = "slovak",
    url = "https://www.fit.vut.cz/study/thesis/23202/"
}
Nahoru