Nedefinované chování v jazyku C

Mgr. Tobiáš Kamenický

Bachelor's thesis

Undefined behaviour in the C language

Abstract:

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

Language used: English

Date on which the thesis was submitted / produced: 13. 5. 2015

Thesis defence

• Date of defence: 15. 6. 2015
• Supervisor: RNDr. Adam Rambousek, Ph.D.
• Reader: Ing. Pavel Tišnovský, Ph.D.

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics