Název: Instrumentace C/C++ programů při překladu
Překlad názvu: Instrumentation of C/C++ Programs during Compilation
Autoři: Mušková, Kateřina ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2021
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze] [eng]

Klíčová slova: 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í; 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

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/199330

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-444726


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Bakalářské práce
 Záznam vytvořen dne 2021-06-27, naposledy upraven 2022-09-04.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet