Statistická analýza pro hledání chyb v programech

Bc. Radim Čebiš

Diplomová práce

Statistic analysis for bug-finding

Anotace:

Práce se zabývá vyhledáváním chyb pomocí statistické analýzy, která je rozšířením statické analýzy. Část práce se věnuje automatickému vyhledávání chyb v programech, principům statistické analýzy a jejímu využití. Hlavní částí práce je implementace kontroloru, který bude detekovat chyby, kdy programátor nevyužívá zámků při práci se sdíleným zdrojem. Absence zámků je samotnou statickou analýzou těžko hledaným druhem chyby. Kontrolor bude vytvořen pro nástroj Stanse, který je vyvíjen na Fakultě informatiky.

Abstract:

This thesis is focused on bug finding using statistical analysis which is extension of static analysis. Part of the thesis is devoted to automatic bug finding, statistical analysis principles and statistical analysis usage. Main part of the thesis is about implementation of a checker which will be detecting places where locks are not used by a programmer even though they should be used on some specific shared resource. It is very hard to find absence of lock protection using standard static analysis only. The checker will be created for Stanse tool which is developed at Faculty of Informatics.

Klíčová slova

statická analýza, statistická analýza, hledání chyb, Stanse, C, zámky, odvození pravidel

Jazyk práce: čeština

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

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

• Obhajoba proběhla 30. 6. 2010
• Vedoucí: doc. Mgr. Jan Obdržálek, PhD.
• Oponent: RNDr. Petr Švenda, Ph.D.

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Informační systémy