Original title: Vyhledávání výrazů s nedefinovaným chováním v jazyce C
Translated title: Detection of Expressions with Undefined Behavior in C Language
Authors: Hellebrandt, Lukáš ; Vojnar, Tomáš (referee) ; Müller, Petr (advisor)
Document type: Bachelor's theses
Year: 2014
Language: eng
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [eng] [cze]

Keywords: Clang; jazyk C; LLVM; nedefinované chování; sekvenční bod; statická analýza; vedlejší efekt; C language; Clang; LLVM; sequence point; side effect; static analysis; undefined behavior

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/56542

Permalink: http://www.nusl.cz/ntk/nusl-239692


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses
 Record created 2016-06-03, last modified 2022-03-03


No fulltext
  • Export as DC, NUŠL, RIS
  • Share