Bc. Martin Vejnár
Diplomová práce
C++ support for Stanse
C++ support for Stanse
Anotace:
Stanse, nástroj pro hledání chyb v programech, umožňuje provádět různé druhy statické analýzy programů napsaných v jazyce C. Nástroj se skládá z několika kontrolorů, z nichž každý je navržen k hledání specifické třídy defektů. Stanse používá parser jazyka C k vytvoření vnitřní reprezentace programů, která je pro kontrolory použitelná snadněji než původní zdrojový kód. V této práci rozšiřuji Stanse …víceAbstract:
Stanse, a bug finding tool, can be used to perform various types of static analyses on programs written in the C programming language. The tool consists of several checkers, each of which is designed to detect a specific class of defects. Stanse uses a C language parser to produce an internal representation of C programs that is easier to consume by the checkers than the original source code. In this …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 26. 5. 2011
Identifikátor:
https://is.muni.cz/th/ou563/
Obhajoba závěrečné práce
- Obhajoba proběhla 30. 6. 2011
- Vedoucí: doc. Mgr. Jan Obdržálek, PhD.
- Oponent: Mgr. Jiří Slabý, Ph.D.
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 informatikyMagisterský studijní program / obor:
Informatika / Teoretická 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á -
Analysis of Parallel C++ Programs
Vladimír Štill