Nástroje pro statickou a dynamickou analýzu kódu se zaměřením na bezpečnostní chyby

Mgr. David Formánek

Bakalářská práce

The static and dynamic analysis source code tools with focus on security bug finding

Anotace:

Práce se zabývá automatickou statickou a dynamickou analýzou a jejím využitím pro hledání zejména bezpečnostních chyb v kódu. Obsahuje přehled a srovnání volně dostupných i komerčních nástrojů podporujících jazyky Java nebo C#. S využitím testovací sady zranitelného kódu byla pro analyzátor FindBugs jeho schopnost hledat chyby prakticky vyhodnocena. Uvedeny jsou také možnosti využití nástrojů se systémem pro agregaci a opakovaný sběr výsledků analýzy.

Abstract:

The thesis deals with automatic static and dynamic analysis and its usage for software bug finding, especially in security area. It contains comparison of various open source and commercial tools for languages Java and C#. The bug finding ability for FindBugs analyser has been practically verified using test suite with vulnerable code. Possibilities of utilization of software for aggregation and repeatable collection of analysis results are mentioned too.

Klíčová slova

bezpečnost software, testování bezpečnosti, hledání chyb, statická analýza, dynamická analýza, IAST, FindBugs, SonarQube

Jazyk práce: čeština

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

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

• Obhajoba proběhla 16. 6. 2014
• Vedoucí: RNDr. Petr Švenda, Ph.D.
• Oponent: RNDr. Andrij Stecko, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Počítačové systémy a zpracování dat