Bakalářská práce

Nedefinované chování v jazyku C

Undefined behaviour in the C language

Tobiáš Kamenický
Anotace

Tato bakalářská práce se zabývá konceptem nedefinovaného chování a jeho aspekty. Vysvětluje některá konkrétní nedefinovaná chování vybraná ze standardu C a ke každému poskytuje detailní popis z pohledu programátora a testera. Shrnuje možnosti jak předejít a testovat tato nedefinovaná chování. Toho je dosáhnuto pomocí kompilátorů a různých nástrojů, které jsou v práci uvedeny a dále popsány. Práce obsahuje sadu ukázkových příkladů, které usnadňují porozumění jednotlivým nedefinovaným chováním.

Abstract

This bachelor’s thesis deals with the concept of undefined behavior and its aspects. It explains some specific undefined behaviors extracted from the C standard and provides each with a detailed description from the view of a programmer and a tester. It summarizes the possibilities to prevent and to test these undefined behaviors. To achieve that, some compilers and tools are introduced and further …více

Klíčová slova
undefined behavior C testing detection secure coding analysis tools standard programming language
Zadání práce
The student's task is to analyse the concept of undefined behaviour in the C language from the point of view of a tester and a developer. The student will describe what is the purpose of undefined behaviour, why it is dangerous, and provide a summary of the current state regarding the prevention and detection of undefined behaviour. On top of that, blind spots where there is currently no tool available should be identified. The thesis will be written in English and it should contain set of sample programs. Because the topic is complex and cannot be described in depth in a single thesis, the student will focus on ten instances of undefined behaviour only.
Administrativní informace
Práce zkontrolována:
14. 5. 2015 12:07, RNDr. Adam Rambousek, Ph.D., učo 60380
Plný text práce
1,3 MB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
15. 6. 2015
Práce byla úspěšně obhájena

Vedoucí

RNDr. Adam Rambousek, Ph.D., učo 60380
CZPJ FI MU

Oponent

Ing. Pavel Tišnovský, Ph.D.

Konzultant

Mgr. Marek Grác, Ph.D., učo 50728
stud PrF MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

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

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

Podobné práce

  • 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.