Original title: Instrumentace C/C++ programů při překladu
Translated title: Instrumentation of C/C++ Programs during Compilation
Authors: Mušková, Kateřina ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
Document type: Bachelor's theses
Year: 2021
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]

Keywords: C++; Clang; compilation; compile-time instrumentation; formal verification; function instrumentation; indirect addressing instrumentation; instrumentation; LLVM; LLVM IR; LLVM pass; memory instrumentation; opt; static instrumentation; testing; C++; Clang; formální verifikace; instrumentace; instrumentace funkce; instrumentace proměnné; instrumentace při překladu; LLVM; LLVM IR; LLVM zásuvný modul; nepřímá instrumentace proměnné; opt; překlad; statická instrumentace; testování

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/199330

Permalink: http://www.nusl.cz/ntk/nusl-444726


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses
 Record created 2021-06-27, last modified 2021-11-28


No fulltext
  • Export as DC, NUŠL, RIS
  • Share