TY - THES TI - Instrumentace C/C++ programů při překladu TT - Instrumentation of C/C++ Programs during Compilation AU - Mušková, Kateřina AB - This thesis presents design and implementation of the TforcTool offering compile-time instrumentation of memory access and functions. The tool is built on an existing static instrumenting tool Tforc, which was extended in order to provide greater usability and functionality. The advantage of this solution compared to another compile-time tools is that there is no need to change current compile structure of project. AB - 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ěny stávajících překladových skriptů (např. Make). UR - http://hdl.handle.net/11012/199330 UR - http://www.nusl.cz/ntk/nusl-444726 A2 - Smrčka, Aleš A2 - Peringer, Petr LA - cze KW - instrumentace při překladu KW - testování KW - static instrumentation KW - testing KW - instrumentace proměnné KW - instrumentace funkce KW - LLVM IR KW - instrumentation KW - formal verification KW - Clang KW - formální verifikace KW - opt KW - statická instrumentace KW - LLVM KW - compile-time instrumentation KW - compilation KW - C++ KW - instrumentace KW - memory instrumentation KW - nepřímá instrumentace proměnné KW - function instrumentation KW - LLVM pass KW - indirect addressing instrumentation KW - LLVM zásuvný modul KW - překlad PY - 2021 PB - Vysoké učení technické v Brně‎, Antonínská 548/1, 601 90 Brno, http://www.vutbr.cz/ ER -