Vytvoření Sparse adaptéru pro infrastrukturu Code Listener
| but.committee | prof. Ing. Tomáš Hruška, CSc. (předseda) prof. RNDr. Alexandr Meduna, CSc. (místopředseda) Ing. Vladimír Bartík, Ph.D. (člen) Ing. Zbyněk Křivka, Ph.D. (člen) Prof. RNDr. Milan Mišovič, CSc. (člen) doc. Ing. Jaroslav Zendulka, CSc. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak 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 velmi dobře. | 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 | Pokorný, Jan | cs |
| dc.contributor.referee | Peringer, Petr | cs |
| dc.date.accessioned | 2019-05-17T07:17:50Z | |
| dc.date.available | 2019-05-17T07:17:50Z | |
| dc.date.created | 2012 | cs |
| dc.description.abstract | Kontrola programu na výskyt chyb má nezpochybnitelný význam, obzvlášť ta založená na formálních metodách. VeriFIT na FIT VUT k tomu používá vlastní infrastrukturu Code Listener (CL) modulárně propojující tzv. přední stranu, typicky adaptér převádějící kód zprostředkovaný jiným způsobem (jiným tzv. parserem), a zadní stranu typicky tvořenou koncovým analyzátorem. Cílem práce je poskytnout to prvé jako kompaktní alternativu k existujícímu zásuvnému modulu pro překladač GCC. Náš adaptér používá linearizovaný kód, jak jej zprostředkuje knihovna sparse pro statickou analýzu programů v C. Experimenty s jedním z hlavních analyzátorů v rámci CL, nástrojem Predator , a příslušnou sadou testů, dosahuje náš produkt - program clsp - úspěšnosti zhruba v 75% případů oproti onomu modulu pro GCC. Další zlepšení jsou předmětem budoucího vývoje. | cs |
| dc.description.abstract | Program checking is indisputably important, especially if originating in formal methods. VeriFIT at FIT BUT uses custom Code Listener (CL) infrastructure modularly interconnecting the front-end, typically a code parser adapter, and the back-end, typically an analyser. Our aim is to offer a former as a compact alternative to existing GCC compiler plug-in. This adapter uses linearized code mediated by sparse library for static analysis of programs in C. According to the experiments with one of the main CL analysers, Predator tool and its tests suite, our product - clsp program - is successful successful in roughly 75% of cases in comparison with the GCC plug-in. Further improvements are expected. | en |
| dc.description.mark | B | cs |
| dc.identifier.citation | POKORNÝ, J. Vytvoření Sparse adaptéru pro infrastrukturu Code Listener [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2012. | cs |
| dc.identifier.other | 79084 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/53691 | |
| 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 | analýza programu | cs |
| dc.subject | statická analýza | cs |
| dc.subject | knihovna sparse | cs |
| dc.subject | infrastruktura Code Listener | cs |
| dc.subject | linearizovaný kód | cs |
| dc.subject | program analysis | en |
| dc.subject | static analysis | en |
| dc.subject | sparse library | en |
| dc.subject | Code Listener infrastructure | en |
| dc.subject | linearized code | en |
| dc.title | Vytvoření Sparse adaptéru pro infrastrukturu Code Listener | cs |
| dc.title.alternative | Creation of Sparse Adapter for the Code Listener Infrastructure | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2012-06-19 | cs |
| dcterms.modified | 2020-05-09-23:43:26 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79084 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2021.11.12 13:12:26 | en |
| sync.item.modts | 2021.11.12 12:34:25 | en |
| thesis.discipline | Informační systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |