Vývoj LLVM adaptéru pro infrastrukturu Code Listener
| but.committee | doc. Dr. Ing. Petr Hanáček (předseda) prof. Ing. Tomáš Vojnar, Ph.D. (místopředseda) doc. Ing. Vítězslav Beran, Ph.D. (člen) Ing. Karel Masařík, Ph.D. (člen) Ing. Josef Strnadel, Ph.D. (člen) | cs |
| but.defence | Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázku 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í studentky na položené otázky rozhodla práci hodnotit stupněm B. Otázky u obhajoby: Píšete, že nejčastější důvod proč neprošla většina testů je nesprávná inicializace globálních proměnných (str. 25). Jak složité by bylo tuto inicializaci implementovat? | 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 | Dudka, Kamil | cs |
| dc.contributor.author | Šoková, Veronika | cs |
| dc.contributor.referee | Peringer, Petr | cs |
| dc.date.created | 2014 | cs |
| dc.description.abstract | Tato bakalářská práce se zabývá vývojem LLVM adaptéru pro infrastrukturu Code Listener, která usnadňuje tvorbu statických analyzátorů jako jsou Predator a Forester. Ty jsou vyvíjeny a využívany v rámci skupiny VeriFIT. Popisuje překladový systém LLVM, jeho interní reprezentaci kódu a frontend Clang. Součástí práce je implementace daného adaptéru. K dnešnímu dni je schopen analyzovat omezenou množinu programů jazyka C. Je schopen generovat CFG k funkcím. Některé testy pro Predator a Forester projdou. Dále je naznačen budoucí vývoj adaptéru. | cs |
| dc.description.abstract | This Bachelor's thesis deals with the development of an LLVM adapter for the Code Listener Infrastructure, which simplifies the creation of static analyzers such as the Predator and the Forester. They are developed and used within the group VeriFIT. It describes LLVM compiler system, the internal representation of the code and frontend Clang. Part of this work is the implementation of the adapter. Up to this date, it is able to analyze a limited set of programs in C. It is able to generate CFGs. Some tests for Predator and Forester pass. It is also hinted at future developments. | en |
| dc.description.mark | B | cs |
| dc.identifier.citation | ŠOKOVÁ, V. Vývoj LLVM adaptéru pro infrastrukturu Code Listener [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2014. | cs |
| dc.identifier.other | 79706 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/56576 | |
| 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 | LLVM | cs |
| dc.subject | infrastruktura Code Listener | cs |
| dc.subject | plugin | cs |
| dc.subject | statická analýza | cs |
| dc.subject | LLVM | en |
| dc.subject | Code Listener Infrastructure | en |
| dc.subject | plug-in | en |
| dc.subject | static analysis | en |
| dc.title | Vývoj LLVM adaptéru pro infrastrukturu Code Listener | cs |
| dc.title.alternative | Development of an LLVM Adapter for the Code Listener Infrastructure | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2014-06-19 | cs |
| dcterms.modified | 2020-05-10-16:11:30 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79706 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 18:47:31 | en |
| sync.item.modts | 2025.01.17 11:32:54 | 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 |