Diplomová práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

C++ support for Stanse

Bc. Martin Vejnár, učo 172430
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íce

Abstract

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

Klíčová slova
C++ Stanse Clang bug finding static analysis internal representation control-flow graph automaton checker hledání chyb statická analýza
Zadání práce
Stanse, developed at Masaryk University, is an open-source tool for automatic bug finding for C programs. The goal of this thesis is to extend Stanse to handle programs written in the C++ programming language. A new C++ parser is to be implemented, together with extra functionality handling typical object oriented features (e.g. late binding). Moreover, the kernel of the Stanse tool will be modified to integrate this new functionality. This thesis is offered within the project "Platform for cooperation in research and education with FI MU in data processing", registration number CZ.1.07/2.4.00/12.0049, in conjunction with activities of the Association of Industrial Partners.
Administrativní informace
Práce zkontrolována:
27. 5. 2011 08:49, doc. Mgr. Jan Obdržálek, PhD., učo 1552
Plný text práce
747,6 KB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
30. 6. 2011
Práce byla úspěšně obhájena

Vedoucí

doc. Mgr. Jan Obdržálek, PhD., učo 1552
KTP FI MU

Oponent

Mgr. Jiří Slabý, Ph.D.
abs FI MU

Konzultant

Mgr. Marek Trtík, Ph.D., učo 329313
KPSK FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Martin Vejnár FI N-IN TEI, učo 172430 ou563/7
Vejnár, M.
25. 5. 2011
Složky
Soubory
Anotace anglicky annotation_english.txt
Vejnár, M.
25. 5. 2011
Anotace česky annotation.txt
Vejnár, M.
25. 5. 2011
Klíčová slova keywords.txt
Vejnár, M.
25. 5. 2011
Plný text práce masters_thesis.pdf
Vejnár, M.
25. 5. 2011
Posudek oponenta posudek.pdf
Slabý, J.
20. 6. 2011
Příloha cd-contents.zip
Vejnár, M.
25. 5. 2011

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.