Nástroj na automatickou detekci chyb v jazyce C – Mgr. Jan Šťastný
Mgr. Jan Šťastný
Bakalářská práce
Nástroj na automatickou detekci chyb v jazyce C
Automatic error detection tool for the C language
Anotace:
Hlavním cílem této práce je popsat změny a vylepšení nástroje na statickou analýzu, vyvíjeného v laboratoři ITI. Hlavním úkolem bylo vyvinout a naimplementovat nový static checker, který bude ovládán XML definičními soubory, které jsou pro uživatele lehce čitelné a které může uživatel se základní znalostí informatiky intuitivně napsat. Mezi cíle patří implementace ovládání nástroje z příkazové řádky …víceAbstract:
The main aim of this Bachelor's thesis is to describe changes and innovations of the static analysis tool that is developed at the Institute for Theoretical Computer Science. The main task was to develop and implement new static checker. This checker had to be controled by XML definition files that were easy to understand to a person with a basic knowledge of informatics. The other goals also included …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 23. 5. 2008
Identifikátor:
https://is.muni.cz/th/ciwux/
Obhajoba závěrečné práce
- Obhajoba proběhla 26. 6. 2008
- Vedoucí: doc. Mgr. Jan Obdržálek, PhD.
- Oponent: Mgr. Jan Holeček
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 informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
-
Static analysis of Python code
Jakub Kiska -
Integrating Static Code Analysis and Defect Tracking
Jakub Papcun -
Effectively Combining Static Code Analysis and Manual Code Reviews
Jan Svoboda -
Static Code Analysis Tool for the Apex Programming Language
Belek Omurzakov -
The Static Analysis and Sensitivity Study of the Car-latch Tensile Strength
Venkatesh Nagarajan Kamaladevi -
Static object detection from visualisation of moving objects
Martin Kostka -
Statická a dynamická analýza finanční výkonnosti podniku z odvětví výroby stavebních hmot
Michaela Muroňová -
Softwarový nástroj pro návrh, analýzu a simulaci konečných automatů
Eva HOCHMAJEROVÁ