Show simple item record

Extraction of Control Flow Graph from LLVM IR Format

dc.contributor.advisorSmrčka, Alešcs
dc.contributor.authorKondula, Václavcs
dc.date.accessioned2019-06-14T10:55:00Z
dc.date.available2019-06-14T10:55:00Z
dc.date.created2017cs
dc.identifier.citationKONDULA, 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.other106186cs
dc.identifier.urihttp://hdl.handle.net/11012/69772
dc.description.abstractTato 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.abstractThis 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.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectcfgcs
dc.subjectgraf toku řízenícs
dc.subjectllvmcs
dc.subjectclangcs
dc.subjectmezikódcs
dc.subjecttestovánícs
dc.subjectlibtoolingcs
dc.subjectjazyk ccs
dc.subjectjazyk c++cs
dc.subjectjednotkové testovánícs
dc.subjectcfgen
dc.subjectcontrol flow graphen
dc.subjectllvmen
dc.subjectclangen
dc.subjectintermediate representationen
dc.subjecttestingen
dc.subjectlibtoolingen
dc.subjectc languageen
dc.subjectc++ languageen
dc.subjectunit testingen
dc.titleExtrakce grafu toku řízení z formátu LLVM IRcs
dc.title.alternativeExtraction of Control Flow Graph from LLVM IR Formaten
dc.typeTextcs
dcterms.dateAccepted2017-06-12cs
dcterms.modified2020-05-10-16:12:50cs
thesis.disciplineInformační technologiecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelBakalářskýcs
thesis.nameBc.cs
sync.item.dbid106186en
sync.item.dbtypeZPen
sync.item.insts2020.06.23 11:03:16en
sync.item.modts2020.06.23 10:21:56en
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
dc.contributor.refereeŠoková, Veronikacs
dc.description.markCcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
but.committeedoc. Ing. Jaroslav Zendulka, CSc. (předseda) doc. Dr. Ing. Otto Fučík (místopředseda) Ing. František Grézl, Ph.D. (člen) Ing. Petr Matoušek, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen)cs
but.defenceStudent 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.resultpráce byla úspěšně obhájenacs
but.programInformační technologiecs
but.jazykčeština (Czech)


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record