Cílem práce je zmapovat stav nástrojů (volně dostupné a dosažitelné komerční) pro statickou a dynamickou analýzu aplikací ve zdrojové nebo binární podobě a analyzovat možnosti jednotlivých nástrojů a jejich omezení na základě modelu jejich vnitřního fungování. Budou uvedeny možnosti nástrojů z hlediska hledání bezpečnostních chyb i chyb, které mohou k bezpečnostním zranitelnostem vést, se zaměřením na projekty vytvářené pomocí jazyků Java a C#.

V praktické části pak:
- Prozkoumat formát výstupu těchto nástrojů s ohledem na společnou agregaci výstupů více nástrojů spuštěných nad stejnou aplikací. Provést rešerši existujících nástrojů, které takovou agregaci podporují.
- Popsat způsob použití nástroje vybraného na základě rešerše s ohledem na opakovaný sběr výstupů během pokračujícího procesu vývoje, značení odstraněných problémů a výskytu nových a možnost potlačení falešných hlášení.
- Podílet se na uvedení nástrojů do použití v každodenním vývoji včetně vytvoření potřebné metodiky ve spolupráci s průmýslovým partnerem.
- Provést praktické ověření popsané metodiky na rozsáhlejší bázi kódu a vyvodit z výsledku doporučení pro pravidelné využití nástroje

Literatura:
OWASP Static code analysis https://www.owasp.org/index.php/Static_Code_Analysis
FindBugs, http://findbugs.sourceforge.net/