Original title:
Extrakce grafu toku řízení z formátu LLVM IR
Translated title:
Extraction of Control Flow Graph from LLVM IR Format
Authors:
Kondula, Václav ; Šoková, Veronika (referee) ; Smrčka, Aleš (advisor) Document type: Bachelor's theses
Year:
2017
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[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.
Keywords:
c language; c++ language; cfg; clang; control flow graph; intermediate representation; libtooling; llvm; testing; unit testing; cfg; clang; graf toku řízení; jazyk c; jazyk c++; jednotkové testování; libtooling; llvm; mezikód; 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/69772