Automatická detekce chyb v programech

Bc. Jaroslav Novotný

Master's thesis

Automatic program error detection

Anotácia:

Tato diplomová práce se zabývá statickou analýzou a detekcí chyb. Práce vznikla na základě mojí účasti na výzkumném projektu ITI, jehož úkolem je vytvořit automatický nástroj, který bude schopen bez nutnosti modifikace nebo spouštění kontrolovaného kódu – čistě pouze na základě statické analýzy – detekovat jisté druhy chyb ve zdrojových kódech v jazyce C. Hlavním částí této práce je implementace univerzálního statického analyzátoru umožňujícího přijímat uživatelské definice jednotlivých kontrolních předpisů.

Abstract:

This thesis deals with static code analysis and program error detection. The work has come into being on the basis of my participation on research project under ITI. The main objective of this project is to develop technology and tool based on static analysis only (without execution of the code) to detect some kind of program errors in C programming language code. The main part of this work is dedicated to implementation of the universal static analyzer which can accept user-defined checking formulas.

Kľúčové slová

Programovací jazyk C, detekce chyb, ověřování modelů, statická analýza, intraprocedurální analýzam, interprocedurální analýza, tok řízení, korektnost zamykání

Jazyk práce: Czech

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

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

• Obhajoba proběhla 26. 6. 2007
• Vedúci: doc. Mgr. Jan Obdržálek, PhD.

Masaryk University

Faculty of Informatics

Master programme / odbor:
Informatics / Informatics