Detail práce

Použití statické analýzy pro detekci chyb v obsluze signálů

Bakalářská práce Student: Kozovský Daniel Akademický rok: 2018/2019 Vedoucí: Peringer Petr, Dr. Ing.
Název anglicky
A Static Analysis Tool Detecting Bugs in Signal Handlers
Jazyk práce
český
Abstrakt

Táto práca sa zaoberá zásuvným modulom csigsafe pre prekladač GCC. Používa statickú analýzu programov na odhalenie chýb v obsluhe signálov podla normy POSIX. Tento nástroj analyzuje zdrojové súbory v jazyku C a C++. Tento analyzátor je vytvorený pre firmu Red Hat, ktorá ho používa na testovanie sRPM balíkov určených do ich Linuxových distribúcii. Nástroj bol testovaný na vzorku 37 projektoch s volne šíriteľnými zdrojmi. Z testovania sa ukázala užitočnosť nástroja pri vyhľadávaní chýb spojených s porušením pravidiel na správnu obsluhu signálov.

Klíčová slova

Signál, Obsluha signálov, GCC, Zásuvný modul, Statická analýza

Ústav
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
10. června 2019
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 "A".

Otázky u obhajoby

Je vámi vytvořená analýza opravdu založená na analýze toku řízení? Nejedná se spíše o analýzu toku dat?

Komise
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT), předseda
Grézl František, Ing., Ph.D. (UPGM FIT VUT), člen
Honzík Jan M., prof. Ing., CSc. (UIFS FIT VUT), člen
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT), člen
Citace
KOZOVSKÝ, Daniel. Použití statické analýzy pro detekci chyb v obsluze signálů. Brno, 2019. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2019-06-10. Vedoucí práce Peringer Petr. Dostupné z: https://www.fit.vut.cz/study/thesis/21637/
BibTeX
@bachelorsthesis{FITBT21637,
    author = "Daniel Kozovsk\'{y}",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Pou\v{z}it\'{i} statick\'{e} anal\'{y}zy pro detekci chyb v obsluze sign\'{a}l\r{u}",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2019,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/21637/"
}
Nahoru