Automatické srovnávání výstupu statické analýzy na různých verzích programů
| but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Vladimír Drábek, CSc. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) doc. Ing. Tomáš Martínek, Ph.D. (člen) Ing. Petr Schwarz, Ph.D. (člen) | cs |
| but.defence | Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla 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í studentky na položené otázky rozhodla práci hodnotit stupněm B . Otázky u obhajoby: Proč pro určování souborů změněných mezi verzemi není využito přímo informací poskytnutých verzovacím systémem? Zaslala jste modifikace v nástroji fake-make autorovi k začlenění? Pokud ano, byly přijaty? Pokud ne, máte to v plánu? | 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 | Vojnar, Tomáš | cs |
| dc.contributor.author | Kompová, Radmila | cs |
| dc.contributor.referee | Müller, Petr | cs |
| dc.date.created | 2013 | cs |
| dc.description.abstract | Práce se zabývá vývojem nástrojové podpory pro srovnávání výstupu statické analýzy uplatněné na různé verze zdrojových kódů programů. Součástí je rovněž diskuze tří volně dostupných statických analyzátorů pro jazyk C, z nichž byl pro implementaci práce zvolen Cppcheck. Výstupy analyzátoru získané pro různé verze určitého programu jsou srovnávány na základě kontextu v okolí řádku, na němž byla nalezena chyba. Pro porovnávání dvou kontextů je využit nástroj patch. Chyby jsou po srovnání klasifikovány do tří skupin\,--\, nové, staré a opravené. Součástí práce je rovněž webové rozhraní umožňující přehlednější prezentaci výsledků. Vytvořený nástroj byl úspěšně otestován na třech projektech s otevřenými zdrojovými kódy, konkrétně na jádře Linux, Coreutils a CPython. | cs |
| dc.description.abstract | This thesis aims at development of a tool support for comparing the output of static analysis applied to different versions of program source codes. The thesis also comprises a discussion of three opensource static analyzers of the C source code. Based on this discussion, one of these analyzers, Cppcheck, was chosen for the implementation of the designed tool. The static analyzer's outputs, obtained for various versions of a specific program, are compared on the basis of the context of the line at which an error was found. The patch utility is used for comparing the appropriate contexts. Detected errors are classified into three groups: new, old, and fixed errors. A web interface allowing an easier-to-follow presentation of the results is also provided. The designed tool set has been successfully tested on three opensource projects, including the Linux kernel, Coreutils and CPython. | en |
| dc.description.mark | B | cs |
| dc.identifier.citation | KOMPOVÁ, R. Automatické srovnávání výstupu statické analýzy na různých verzích programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
| dc.identifier.other | 79196 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/55007 | |
| 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 | statická analýza kódu | cs |
| dc.subject | Cppcheck | cs |
| dc.subject | automatické srovnávání výstupu statické analýzy | cs |
| dc.subject | verzovací systémy | cs |
| dc.subject | patch | cs |
| dc.subject | static analysis | en |
| dc.subject | Cppcheck | en |
| dc.subject | automatic comparison of static analysis outputs | en |
| dc.subject | version control systems | en |
| dc.subject | patch | en |
| dc.title | Automatické srovnávání výstupu statické analýzy na různých verzích programů | cs |
| dc.title.alternative | Automatic Comparison of Static Analysis Outputs on Different Versions of Programs | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2013-06-13 | cs |
| dcterms.modified | 2020-05-10-16:11:04 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79196 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 18:00:41 | en |
| sync.item.modts | 2025.01.15 16:01:00 | 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 |