Mgr. David Formánek

Bachelor's thesis

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

The static and dynamic analysis source code tools with focus on security bug finding
Abstract:
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 …more
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 …more
 
 
Language used: Czech
Date on which the thesis was submitted / produced: 19. 5. 2014

Thesis defence

  • Date of defence: 16. 6. 2014
  • Supervisor: RNDr. Petr Švenda, Ph.D.
  • Reader: RNDr. Andrij Stecko, Ph.D.

Citation record

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