Název:
Extrakce grafu toku řízení z formátu LLVM IR
Překlad názvu:
Extraction of Control Flow Graph from LLVM IR Format
Autoři:
Kondula, Václav ; Šoková, Veronika (oponent) ; Smrčka, Aleš (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2017
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
Tato bakalářská práce se zabývá návrhem a implementací extrakce grafů toku řízení ze zdrojových souborů jazyků C a C++ ve formátu LLVM IR. K tomu účelu bylo použito rozhraní LibTooling překladače Clang, pomocí něhož byl tento extraktor implementován jako samostatný nástroj. Výstup programu odpovídá požadavkům platformy Testos, jemuž poskytuje data pro automatické generování testovacích požadavků na základě specifického pokrytí.
This Bachelor's thesis deals with design and implementation of control flow graphs extraction from source files in C and C++ language to LLVM IR format. The extractor was implemented as a standalone tool using the LibTooling interface of the Clang compiler. Output of this tool follows the requirements of platform Testos, so it can be used for automated generation of test requirements based on specified coverage criteria.
Klíčová slova:
cfg; clang; graf toku řízení; jazyk c; jazyk c++; jednotkové testování; libtooling; llvm; mezikód; testování; c language; c++ language; cfg; clang; control flow graph; intermediate representation; libtooling; llvm; testing; unit 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/69772