but.committee	doc. Ing. Jaroslav Zendulka, CSc. (předseda) doc. Dr. Ing. Otto Fučík (místopředseda) Ing. František Grézl, Ph.D. (člen) doc. Ing. Petr Matoušek, Ph.D., M.A. (člen) Ing. Aleš Smrčka, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm " C ". Otázky u obhajoby: Zvažovali ste napojenie sa na LLVM IR až v 2. fázy prekladu t.j. pracovať s výstupom Clangu? Viedlo by to na nezávislosť od Clang front-endu a možnú podporu iných jazykov než len tých z rodiny C. Z akého dôvodu nerieši parameter -femit-all-decls problém popísaný v sekcii 4.4?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Smrčka, Aleš	cs
dc.contributor.author	Kondula, Václav	cs
dc.contributor.referee	Šoková, Veronika	cs
dc.date.created	2017	cs
dc.description.abstract	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í.	cs
dc.description.abstract	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.	en
dc.description.mark	C	cs
dc.identifier.citation	KONDULA, V. Extrakce grafu toku řízení z formátu LLVM IR [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.	cs
dc.identifier.other	106186	cs
dc.identifier.uri	http://hdl.handle.net/11012/69772
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	cfg	cs
dc.subject	graf toku řízení	cs
dc.subject	llvm	cs
dc.subject	clang	cs
dc.subject	mezikód	cs
dc.subject	testování	cs
dc.subject	libtooling	cs
dc.subject	jazyk c	cs
dc.subject	jazyk c++	cs
dc.subject	jednotkové testování	cs
dc.subject	cfg	en
dc.subject	control flow graph	en
dc.subject	llvm	en
dc.subject	clang	en
dc.subject	intermediate representation	en
dc.subject	testing	en
dc.subject	libtooling	en
dc.subject	c language	en
dc.subject	c++ language	en
dc.subject	unit testing	en
dc.title	Extrakce grafu toku řízení z formátu LLVM IR	cs
dc.title.alternative	Extraction of Control Flow Graph from LLVM IR Format	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2017-06-12	cs
dcterms.modified	2020-05-10-16:12:50	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	106186	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:01:49	en
sync.item.modts	2025.01.15 17:50:51	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Extrakce grafu toku řízení z formátu LLVM IR

Files

Original bundle

Collections