|
|
Určení spolehlivosti výsledků statické analýzy pomocí strojového učení
Beránek, Tomáš ; Fiedor, Jan (oponent) ; Vojnar, Tomáš (vedoucí práce)
The Meta Infer static analyzer is a tool for detecting various types of errors in source code. However, its results contain more than 95 % of false alarms. This thesis proposes a solution that ranks Infer’s reports using Graph Neural Networks (GNNs) based on the likelihood of being a real error, thus mitigating the issue with false alarms. The system consists of a training pipeline, which converts the D2A dataset – a set of labeled reports from Meta Infer – into Extended Code Property Graphs (ECPGs) and GNN models trained on these ECPGs. Experimental results indicate that the developed GNN models can match, and in some cases even surpass, existing models developed by strong industrial teams. Moreover, these existing solutions are closed source, making the solution developed in this thesis a promising open-source alternative.
|
|
|
Pokročilá interpretace změn výkonu software
Kraus, Lukáš ; Rogalewicz, Adam (oponent) ; Pavela, Jiří (vedoucí práce)
Cílem této práce je vytvořit pokročilý algoritmus pro identifikaci vhodných verzí projektu s cílem identifikovat výkonnostní změny a chyby. Pro tento účel je popsán nástroj Perun (vyvíjen v rámci výzkumné skupiny VeriFIT ), systémy pro správu verzí, metody sledování změn výkonu mezi jednotlivými verzemi a možnosti zobrazení k interpretaci výsledků. Byla navrhnuta a v jazyce Python implementována analýza zdrojového kódu; detekce změn mezi verzemi; vyhodnocení změn podle pravidel; výpočet rozhodnutí, zda jsou verze vhodné k výkonnostnímu testování; a interpretace výsledků na webové stránce.
|
|
|
Testování bezpečnosti webových aplikací
Bukovský, Ondřej ; Pavlíček, Luboš (vedoucí práce) ; Mészáros, Jan (oponent)
Tato práce si klade za cíl zdokumentovat nasazení nástrojů pro testování bezpečnosti we-bových aplikací. Součástí práce je vymezení nejčastějších zranitelností, otestování nástrojů pro detekci těchto zranitelností a výběr nástroje, případně kombinace nástrojů, vhodných pro realizaci opakovaného automatického bezpečnostního testování. Dalším cílem práce je začlenění bezpečnostního testování do životního cyklu vývoje webové aplikace. Přínosem by pak mělo být usnadnění práce s testováním bezpečnosti webových aplikací jednotliv-cům, nebo malým týmům.
|
host ::
RSS.