Rozšíření infrastruktury Code Listener o podporu C++
Extension of the Code Listener Infrastructure Adding C++ Support
Author
Advisor
Dudka, KamilReferee
Peringer, PetrGrade
BAlternative metrics PlumX
http://hdl.handle.net/11012/56439Altmetrics
http://hdl.handle.net/11012/56439
http://hdl.handle.net/11012/56439
Metadata
Show full item recordAbstract
V této práci je popisováno rozšíření infrastruktury Code Listener, kterou lze použít pro tvorbu nástrojů pro statickou analýzu programů, o podporu zpracování programovacího jazyka C++. Řešení představuje rozšíření pluginu Code Listener bez nutnosti jakékoliv modifikace v již existujících statických analyzátorech, které jsou na této infrastruktuře postaveny. Výsledkem této práce je přidání podpory pro zpracování základních konstrukcí jazyka C++, jako například jmenných prostorů, L-hodnotových referencí nebo tříd.Přínosem této práce je možnost ji dále použít jako odrazový bod pro implementaci zbývající podpory jazyka C++ pro infrastrukturu Code Listener. The thesis describes an extension of the Code Listener infrastructure adding support for C++ programming language, where the Code Listener infrastructure itself can be used for building of static analysis tools. The solution represents the extension of the Code Listener plugin without any need to modify the already existing static analysis tools that are based on it. Outcome of this work is added support for processing of basic C++ language construct, like e.g. namespaces, L-value references or classes. Contribution of the work is then represented by the possibility to use this thesis as a stepping-stone for implementing the remaining support of C++ language into the Code Listener infrastructure.
Keywords
Code Listener, Predator, Forester, nástroj pro statickou analýzu, C, C++, GCC, GIMPLE, mezijazyk, VeriFIT, Code Listener, Predator, Forester, static analysis tool, C, C++, GCC, GIMPLE, intermediate language, VeriFITLanguage
angličtina (English)Study brunch
Informační technologieComposition of Committee
prof. Ing. Miroslav Švéda, CSc. (předseda) doc. RNDr. Jitka Kreslíková, CSc. (místopředseda) Ing. Vítězslav Beran, Ph.D. (člen) Ing. Michal Bidlo, Ph.D. (člen) Ing. Bohuslav Křena, Ph.D. (člen)Date of defence
2014-08-25Process of 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 " B ". Otázky u obhajoby: Proč implementace nepodporuje virtuální metody? Jak náročné by bylo přidání podpory C++11?Result of the defence
práce byla úspěšně obhájenaPersistent identifier
http://hdl.handle.net/11012/56439Source
KAŠPAR, D. Rozšíření infrastruktury Code Listener o podporu C++ [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2014.Collections
- 2014 [305]