Detail práce

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

Bakalářská práce Student: Mušková Kateřina Akademický rok: 2020/2021 Vedoucí: Smrčka Aleš, Ing., Ph.D.
Název anglicky
Instrumentation of C/C++ Programs during Compilation
Jazyk práce
český
Abstrakt

Tato práce se zabývá návrhem a implementací nástroje TforcTool sloužícího k instrumentaci programů napsaných v jazyce C++, a to instrumentaci přístupu do paměti a volání funkcí. Nástroj staví už na existujícím nástroji Tforc poskytující statickou instrumentaci při překladu, jehož funkcionalitu a použitelnost rozšiřuje. Velkou výhodou oproti stávajícím řešením nabízejícím instrumentaci při překladu je možnost použití nástroje bez změnystávajících překladových skriptů (např. Make).

Klíčová slova

instrumentace, C++, testování, instrumentace při překladu, statická instrumentace, LLVM, LLVM IR, Clang, překlad, opt, LLVM zásuvný modul, instrumentace proměnné, instrumentace funkce, nepřímá instrumentace proměnné, formální verifikace

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
15. června 2021
Oponent
Peringer Petr, Dr. Ing.
Průběh obhajoby

Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázky 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í studentky na položené otázky rozhodla práci hodnotit stupněm C.

Otázky u obhajoby
  • V textu zmiňujete různé nedeterministické chyby - jaké jsou možné příčiny takového chování programu?
  • Proč nepoužíváte nastavení PATH pro subshell, případně chroot nebo podobné nástroje?

Dotaz na srovnání s existujícícmi nástroji.

Komise
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT), předseda
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Peringer Petr, Dr. Ing. (UITS FIT VUT), člen
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT), člen
Citace
MUŠKOVÁ, Kateřina. Instrumentace C/C++ programů při překladu. Brno, 2021. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2021-06-15. Vedoucí práce Smrčka Aleš. Dostupné z: https://www.fit.vut.cz/study/thesis/23399/
BibTeX 
@bachelorsthesis{FITBT23399,
    author = "Kate\v{r}ina Mu\v{s}kov\'{a}",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Instrumentace C/C++ program\r{u} p\v{r}i p\v{r}ekladu",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2021,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/23399/"
}

Závěrečné práce

Nahoru