• čeština
    • English
  • English 
    • čeština
    • English
  • Login
View Item 
  •   Repository Home
  • Závěrečné práce
  • bakalářské práce
  • Fakulta informačních technologií
  • 2014
  • View Item
  •   Repository Home
  • Závěrečné práce
  • bakalářské práce
  • Fakulta informačních technologií
  • 2014
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Rozšíření infrastruktury Code Listener o podporu C++

Extension of the Code Listener Infrastructure Adding C++ Support

Thumbnail
View/Open
final-thesis.pdf (565.9Kb)
review_88423.html (1.447Kb)
Author
Kašpar, David
Advisor
Dudka, Kamil
Referee
Peringer, Petr
Grade
B
Alternative metrics PlumX
http://hdl.handle.net/11012/56439
Altmetrics
http://hdl.handle.net/11012/56439
http://hdl.handle.net/11012/56439
Metadata
Show full item record
Abstract
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, VeriFIT
Language
angličtina (English)
Study brunch
Informační technologie
Composition 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-25
Process 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ájena
Persistent identifier
http://hdl.handle.net/11012/56439
Source
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]
Citace PRO

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV
 

 

Browse

All of repositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV