host ::
přihlásit
Digitální repozitář
Hledej
Nový záznam
Nápověda
O repozitáři
Hlavní stránka
>
Vysokoškolské kvalifikační práce
>
Bakalářské práce
> Instrumentace C/C++ programů při překladu
Informace
Soubory
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]
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).
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.
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-571471
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 2024-04-02, naposledy upraven 2024-04-03.
Podobné záznamy
Není přiložen dokument
Exportovat ve formátu
DC
,
NUŠL
,
RIS
Sdílet