Zpět na vyhledávání

Mgr. Jan Šťastný

Bachelor's thesis

Nástroj na automatickou detekci chyb v jazyce C

Automatic error detection tool for the C language
Abstract:
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 …more
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 …more
 

Keywords

Statická analýza C XML Java konečný automat hledání chyb static analysis finite state machine
 
Language used: Czech
Date on which the thesis was submitted / produced: 23. 5. 2008
Identifier: https://is.muni.cz/th/ciwux/

Thesis defence

  • Date of defence: 26. 6. 2008
  • Supervisor: doc. Mgr. Jan Obdržálek, PhD.
  • Reader: Mgr. Jan Holeček

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution