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íce
Abstract:
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
 

Klíčová slova

Statická analýza C XML Java konečný automat hledání chyb static analysis finite state machine
 
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

Citační záznam

Citovat tuto práci

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 informatiky
Složka Odkaz na adresář do lokálního úložiště instituce