Integrace nástroje Stanse do IDE NetBeans

Bc. Martin Velek

Bakalářská práce

NetBeans Plugin for Stanse

Anotace:

Cílem bakalářské práce je vytvořit plugin pro integraci nástroje Stanse do vývojového prostředí NetBeans. Stanse je nástroj vyvíjený na Institutu teoretické informatiky MU pro statickou analýzu zdrojového kódu jazyka C. V současné době má Stanse implementováno grafické rozhraní, jehož funkcionalitu je třeba přenést do vytvářeného pluginu.

Abstract:

The main goal of the thesis is to create a plugin for integration of Stanse into Netbeans development environment. Stanse is a tool for C language source code static analysis developed at the Institute for Theoretical Computer Science, MU. In present Stanse features a graphical user interface the functionality of which is to be carried over to the plugin.

Klíčová slova

Stanse, NetBeans, plugin, statická analýza, automatická detekce chyb, jazyk C

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 21. 5. 2012

Obhajoba závěrečné práce

• Obhajoba proběhla 19. 6. 2012
• Vedoucí: doc. Mgr. Jan Obdržálek, PhD.
• Oponent: RNDr. Michal Batko, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika