Automatická detekce chyb v programech – Bc. Jaroslav Novotný
Bc. Jaroslav Novotný
Master's thesis
Automatická detekce chyb v programech
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 …viacAbstract:
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 …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 18. 5. 2007
Identifikátor:
https://is.muni.cz/th/s0k08/
Obhajoba závěrečné práce
- Obhajoba proběhla 26. 6. 2007
- Vedúci: doc. Mgr. Jan Obdržálek, PhD.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Informatics
Práce na příbuzné téma
-
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