but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) prof. Ing. Jan M. Honzík, CSc. (místopředseda) Ing. František Grézl, Ph.D. (člen) doc. Ing. Jan Kořenek, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen)	cs
but.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ázku 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 " A ". Otázky u obhajoby: Je vámi vytvořená analýza opravdu založená na analýze toku řízení? Nejedná se spíše o analýzu toku dat?	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	Peringer, Petr	cs
dc.contributor.author	Kozovský, Daniel	cs
dc.contributor.referee	Vojnar, Tomáš	cs
dc.date.accessioned	2019-07-08T15:56:12Z
dc.date.available	2019-07-08T15:56:12Z
dc.date.created	2019	cs
dc.description.abstract	Táto práca sa zaoberá zásuvným modulom csigsafe pre prekladač GCC. Používa statickú analýzu programov na odhalenie chýb v obsluhe signálov podla normy POSIX. Tento nástroj analyzuje zdrojové súbory v jazyku C a C++. Tento analyzátor je vytvorený pre firmu Red Hat, ktorá ho používa na testovanie sRPM balíkov určených do ich Linuxových distribúcii. Nástroj bol testovaný na vzorku 37 projektoch s volne šíriteľnými zdrojmi. Z testovania sa ukázala užitočnosť nástroja pri vyhľadávaní chýb spojených s porušením pravidiel na správnu obsluhu signálov.	cs
dc.description.abstract	This work is about the plugin csigsafe for the GCC compiler. It uses static code analysis to detect bugs in signal handlers according the POSIX norm. This tool analyzes the source files written in C and C ++. This analyzer is created for the Red Hat, which uses it to test sRPM packages used in their Linux distributions. The tool has been tested on a sample of 37 Open Source projects. Testing has shown the utility of the tool to search for errors associated with violation of rules for proper signal handling.	en
dc.description.mark	A	cs
dc.identifier.citation	KOZOVSKÝ, D. Použití statické analýzy pro detekci chyb v obsluze signálů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.	cs
dc.identifier.other	121993	cs
dc.identifier.uri	http://hdl.handle.net/11012/180164
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	Signál	cs
dc.subject	Obsluha signálov	cs
dc.subject	GCC	cs
dc.subject	Zásuvný modul	cs
dc.subject	Statická analýza	cs
dc.subject	Signal	en
dc.subject	Signal handler	en
dc.subject	GCC	en
dc.subject	Plug-in	en
dc.subject	Static analysis	en
dc.title	Použití statické analýzy pro detekci chyb v obsluze signálů	cs
dc.title.alternative	A Static Analysis Tool Detecting Bugs in Signal Handlers	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2019-06-10	cs
dcterms.modified	2019-07-08-13:31:22	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	121993	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.08 13:57:25	en
sync.item.modts	2021.11.08 13:01:25	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

Použití statické analýzy pro detekci chyb v obsluze signálů

Files

Original bundle

Collections