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

A Static Analysis Tool Detecting Bugs in Signal Handlers

Thumbnail
View/Open
Author
Advisor
Peringer, Petr
Referee
Vojnar, Tomáš
Grade
A
Altmetrics
Metadata
Show full item record
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.
 
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.
 
Keywords
Signál, Obsluha signálov, GCC, Zásuvný modul, Statická analýza, Signal, Signal handler, GCC, Plug-in, Static analysis
Language
čeština (Czech)
Study brunch
Informační technologie
Composition of 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)
Date of defence
2019-06-10
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á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?
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/180164
Source
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.
Collections
Citace PRO