Statická analýza programů v C ve Sparse a příbuzných nástrojích
| but.committee | cs | |
| but.defence | 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 | Nagy, Martin | cs |
| dc.contributor.referee | Peringer, Petr | cs |
| dc.date.accessioned | 2018-05-17T22:40:12Z | |
| dc.date.available | 2018-05-17T22:40:12Z | |
| dc.date.created | 2009 | cs |
| dc.description.abstract | Softwarová verifikace se postupně stává čím dál tím více důležitou součástí vývoje. Jejím cílem je zajištění kvality výstupního produktu. Navzdory tomuto ale problém psaní dobrých nástrojů pro statickou analýzu často spočívá v nedostatku dobrého front-endu překladače. Tato práce se pokouší analyzovat a zdokumentovat existující nástroj, zvaný Sparse, aby byli vědečtí pracovnící vyzbrojeni stabilním řešením, které jim umožní vyvíjet jejich analyzátory. V neposlední řadě je taky diskutovaný projekt Mygcc a jeho nový přístup k integraci se stávajícími překladači. | cs |
| dc.description.abstract | Software verification is steadily becoming important for software developers and companies to ensure software quality. However, the problem of writing a good static code analysis tool often stems from the lack of a good compiler front-end. To solve this problem, we try to analyse and document an existing tool called Sparse to empower software verification researchers with a ready, stable solution for their projects. Additionally, we also talk about Mygcc and it's new approach to integrate with existing compilers. | en |
| dc.description.mark | D | cs |
| dc.identifier.citation | NAGY, M. Statická analýza programů v C ve Sparse a příbuzných nástrojích [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2009. | cs |
| dc.identifier.other | 25683 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/52823 | |
| 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 | Sparse | cs |
| dc.subject | Mygcc | cs |
| dc.subject | front-end překladače | cs |
| dc.subject | statická analýza kódu | cs |
| dc.subject | neparsované porovnání vzorů | cs |
| dc.subject | Sparse | en |
| dc.subject | Mygcc | en |
| dc.subject | compiler front-end | en |
| dc.subject | static code analysis | en |
| dc.subject | unparsed pattern matching | en |
| dc.title | Statická analýza programů v C ve Sparse a příbuzných nástrojích | cs |
| dc.title.alternative | Static Analysis of C Programs in Sparse and Similar Tools | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2009-06-17 | cs |
| dcterms.modified | 2020-05-09-23:41:11 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 25683 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2020.05.10 01:03:42 | en |
| sync.item.modts | 2020.05.10 00:13:10 | 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 |