Thesis Details

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

Bachelor's Thesis Student: Kozovský Daniel Academic Year: 2018/2019 Supervisor: Peringer Petr, Dr. Ing.
English title
A Static Analysis Tool Detecting Bugs in Signal Handlers
Language
Czech
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.

Keywords

Signal, Signal handler, GCC, Plug-in, Static analysis

Department
Degree Programme
Files
Status
defended, grade A
Date
10 June 2019
Reviewer
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Honzík Jan M., prof. Ing., CSc. (DIFS FIT BUT), člen
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
Citation
KOZOVSKÝ, Daniel. Použití statické analýzy pro detekci chyb v obsluze signálů. Brno, 2019. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2019-06-10. Supervised by Peringer Petr. Available from: https://www.fit.vut.cz/study/thesis/21637/
BibTeX
@bachelorsthesis{FITBT21637,
    author = "Daniel Kozovsk\'{y}",
    type = "Bachelor's thesis",
    title = "Pou\v{z}it\'{i} statick\'{e} anal\'{y}zy pro detekci chyb v obsluze sign\'{a}l\r{u}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2019,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/21637/"
}
Back to top