C++ support for Stanse

Bc. Martin Vejnár

Diplomová práce

Anotace:

Stanse, nástroj pro hledání chyb v programech, umožňuje provádět různé druhy statické analýzy programů napsaných v jazyce C. Nástroj se skládá z několika kontrolorů, z nichž každý je navržen k hledání specifické třídy defektů. Stanse používá parser jazyka C k vytvoření vnitřní reprezentace programů, která je pro kontrolory použitelná snadněji než původní zdrojový kód. V této práci rozšiřuji Stanse o podporu analýzy počítačových programů napsaných v jazyce C++. Protože původní vnitřní reprezentace neumí reprezentovat programy v C++ dobře, nahradil jsem ji novou vnitřní reprezentací nazvanou SIR. V práci ukazuji, jakým způsobem lze různé konstrukce jazyka C++ překládat do jazyka SIR, a poskytuji nástroj, který tento překlad provádí. Dále rozšiřuji jádro Stanse a jeden jeho kontrolor o podporu jazyka SIR a tím i jazyka C++.

Abstract:

Stanse, a bug finding tool, can be used to perform various types of static analyses on programs written in the C programming language. The tool consists of several checkers, each of which is designed to detect a specific class of defects. Stanse uses a C language parser to produce an internal representation of C programs that is easier to consume by the checkers than the original source code. In this thesis we extend Stanse with the support for analyzing computer programs written in the C++ programming language. As the original internal representation cannot represent C++ programs well, we replace it by a new representation called Stanse internal representation (SIR). We show how various C++ language construct can be translated to SIR and we provide a tool to do so. We extend the core structures of Stanse and its automaton checker to support SIR and thus the C++ language.

Keywords

C++, Stanse, Clang, bug finding, static analysis, internal representation, control-flow graph, automaton checker, hledání chyb, statická analýza

Jazyk práce: angličtina

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

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

• Obhajoba proběhla 30. 6. 2011
• Vedoucí: doc. Mgr. Jan Obdržálek, PhD.
• Oponent: Mgr. Jiří Slabý, Ph.D.

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Teoretická informatika