Bakalářská práce
Získaná ocenění: Cena SOIT a Liberixu

Detekce programovacích chyb v C/C++ programech pod OS GNU/Linux

Detection of errors in C/C++ applications in GNU/Linux

Lubomír Sedlář, učo 359719
Anotace

Cílem této práce je prozkoumat dostupné svobodné nástroje pro statickou analýzu zdrojových kódu v C a C++ dostupné v operačním systému GNU/Linux a porovnat jejich výstupy nad aplikacemi z různých oblastí. Nalezené chyby byly klasifikovány a na jejich základě vytvořeno srovnání dostupných nástrojů.

Abstract

The aim of this thesis is to explore available free tools for static analysis of C and C++ code in GNU/Linux operating system and compare their outputs on applications from different fields. Detected bugs were classified and a comparison of different tools was created based on them.

Klíčová slova
statická analýza analýza toku kódu časté chyby GNU/Linux C C++ Clang Cppcheck Coverity OpenSSL Sudo Epiphany
Zadání práce

Prozkoumejte dostupné nástroje pro statickou analýzu C/C++ kódu pod operačním systémem GNU/Linux, srovnejte vhodnost jejich použití pro různé oblasti systému - Kernel/CLI/Desktop. Vypracujte statistiky nejčastěji se vyskytujících chyb v kódu aplikací a pokuste se navrhnout, jak těmto chybám předcházet. U vybraného opensource projektu se pokuste opravy nalezených chyb dostat do zdrojových kódů originální aplikace.

Práce je vypisována v rámci projektu OP Vpk s názvem Platforma výzkumné a vzdělávací spolupráci FI MU v oblasti zpracování dat, reg. číslo CZ.1.07/2.4.00/12.0049, a aktivit SPP.

Administrativní informace
Práce zkontrolována:
18. 5. 2012 12:06, Mgr. Marek Grác, Ph.D., učo 50728
Plný text práce
466 KB / soubor PDF
Jazyk práce
čeština čeština
Termín obhajoby
22. 6. 2012
Práce byla úspěšně obhájena

Vedoucí

Mgr. Marek Grác, Ph.D., učo 50728
CZPJ FI MU

Oponent

Ing. Ondřej Vašík
Red Hat Czech s.r.o.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Lubomír Sedlář FI B-IN UMI, učo 359719 o4uv7/6
Dvořáková, A.
25. 4. 2012
Složky
Soubory
Anotace anglicky annotation_english.txt
Sedlář, L.
16. 5. 2012
Anotace česky annotation.txt
Sedlář, L.
16. 5. 2012
Klíčová slova keywords.txt
Sedlář, L.
16. 5. 2012
Plný text práce thesis.pdf
Sedlář, L.
16. 5. 2012
Posudek oponenta OpoPosudek-Sedlar.odt
Grác, M.
11. 6. 2012

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.