Zpět na vyhledávání

Bc. Jaroslav Novotný

Master's thesis

Automatická detekce chyb v programech

Automatic program error detection
Abstract:
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 …more
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 …more
 

Keywords

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í
 
Language used: Czech
Date on which the thesis was submitted / produced: 18. 5. 2007
Identifier: https://is.muni.cz/th/s0k08/

Thesis defence

  • Date of defence: 26. 6. 2007
  • Supervisor: doc. Mgr. Jan Obdržálek, PhD.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution