|
|
Určení spolehlivosti výsledků statické analýzy pomocí strojového učení
Beránek, Tomáš ; Fiedor, Jan (referee) ; Vojnar, Tomáš (advisor)
Statický analyzátor Meta Infer je nástrojem pro hledání různých typů chyb ve zdrojovém kódu. Jeho výsledky však obsahují více než 95 % falešných hlášení. Tato teze navrhuje řešení, které řadí hlášení od Meta Inferu pomocí grafových neuronových sítí (GNN) podle pravděpodobnosti, že se jedná o skutečnou chybu, a redukuje tak problém s falešnými hlášeními. Systém se skládá z trénovací části, která převádí datovou sadu D2A – sadu roztříděných hlášení z Meta Inferu – na rozšířené grafy vlastností kódu (ECPG) a z modelů GNN natrénovaných na ECPG grafech. Výsledky experimentů ukazují, že vytvořené modely GNN mohou konkurovat a v některých případech dokonce překonat existující řešení vyvíjené silnými průmyslovými týmy. Tato existující řešení mají navíc uzavřený zdrojový kód, a tak řešení vytvořené v této tezi poskytuje slibnou alternativu s otevřeným zdrojovým kódem.
|
|
|
Advanced Interpretation of Software Performance Changes
Kraus, Lukáš ; Rogalewicz, Adam (referee) ; Pavela, Jiří (advisor)
The aim of this work is to create an advanced algorithm for identifying suitable versions of a project in order to identify performance changes and errors. For this purpose, the Pe- run tool (developed within the VeriFIT research group), version management systems, methods for tracking performance changes between individual versions and display opti- ons for interpreting results are described. Analysis of the source code, detection of changes between versions, evaluation of changes according to rules, decision calculation whether versions are suitable for performance testing, and interpretation of results on a web page were designed and implemented in Python.
|
|
|
Web Application Security Testing
Bukovský, Ondřej ; Pavlíček, Luboš (advisor) ; Mészáros, Jan (referee)
This work is aimed on documenting the use of tools for security testing of web applica-tions. First part of the work lists and describes most common vulnerabilities. Then tools to detect these vulnerabilities are tested. The most suitable tool, or a combination of tools, suitable for repeated and automated security testing, is selected. Another goal is the inte-gration of automated security testing into the development lifecycle of web application. The benefit would be facilitation of web application security testing for individuals or small teams.
|
guest ::
