Detail práce
Instrumentace C/C++ programů při překladu
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).
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
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.
- 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.
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
@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/" }