Nedefinované chování v jazyku C

Mgr. Tobiáš Kamenický

Bakalářská práce

Undefined behaviour in the C language

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 described. The thesis contains a set of example programs to ease the understanding of the discussed undefined behaviors.

Keywords

undefined behavior, C, testing, detection, secure coding, analysis tools, standard, programming language

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 13. 5. 2015

Obhajoba závěrečné práce

• Obhajoba proběhla 15. 6. 2015
• Vedoucí: RNDr. Adam Rambousek, Ph.D.
• Oponent: Ing. Pavel Tišnovský, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika