Validátor zdojových kódů pro vestavné systémy
Source Code Validator for Embedded Systems
Typ dokumentu
bakalářská prácebachelor thesis
Autor
Šimek Jakub
Vedoucí práce
Bělohoubek Jan
Oponent práce
Skrbek Miroslav
Studijní obor
Teoretická informatikaStudijní program
InformatikaInstituce přidělující hodnost
katedra teoretické informatikyPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
Práce se zabývá validací kódů pro jednoduché vestavné systémy. Nejprve popisuje současné pokrytí relevantní podmnožiny standardu CERT C Secure Coding Standard v dostupných nástrojích. V praktické části pak popisuje implementaci kontrol některých pravidel standardu, která dosud nebyla dostatečně pokryta volně dostupnými nástroji, v novém rozšiřitelném nástroji založeném na knihovně LibTooling překladače Clang. Na zdrojových kódech skutečných projektů je pak demonstrována účinnost nástroje objevením konstrukcí, které s velkou pravděpodobností mohou vést k chybě. This bachelor's thesis first describes current coverage of CERT C Secure Coding Standard guidelines relevant to software development for simple embedded systems. The practical part then focuses on implementation of some guidelines of the Standard -- which were not previously well covered by freely available tools -- in a new extensible tool based on Clang's LibTooling library. The efficacy of the tools is then demonstrated on real projects' source code by finding very likely sources of errors.
Kolekce
- Bakalářské práce - 18101 [337]