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 …moreAbstract:
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
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.
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Informatics
Theses on a related topic
-
Interprocedurální analýza vztahů mezi hodnotami proměnných programu v modulární aritmetice
Michala Čandová -
Programovací jazyk Scala a jeho využití pro analýzu dat
Tomáš Kohout -
Datová analýza s využitím programovacího jazyka Python
Adam Andronikidis -
Analýza programovacího jazyka Kotlin, jeho srovnání s jazykem Java 8 a praktické využití při vývoji na platformě Android
Anton Danilov -
Automatická statistická a metrická analýza zdrojového kódu se zaměřením na jazyk ANSI C
Jiří FATKA -
Programovací jazyk pro vizualizaci grafových algoritmů
Ivo Šmíd -
Detekce bezpečnostních chyb pomocí statické analýzy kódu
David Formánek -
Automatická detekce chyb v konkurenčních tvarech zájmen
Filip Kubeček