Název: Evaluating Reliability of Static Analysis Results Using Machine Learning
Překlad názvu: Určení spolehlivosti výsledků statické analýzy pomocí strojového učení
Autoři: Beránek, Tomáš ; Fiedor, Jan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Typ dokumentu: Diplomové práce
Rok: 2024
Jazyk: eng
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [eng] [cze]

Klíčová slova: code property graphs; D2A dataset; deep learning; extended code property graphs.; false alarm detection; graph D2A dataset; graph neural networks; graph representation construction; Joern; LLVM internal representation; LLVM Slicer; Meta Infer; program slicing; source code analysis; Static analysis; vulnerability detection; analýza zdrojového kódu; dataset D2A; detekce falešných hlášení; detekce zranitelností; grafové neuronové sítě; grafový D2A; grafy vlastností kódu; hluboké učení; interní reprezentace LLVM; Joern; konstrukce grafové reprezentace; LLVM Slicer; Meta Infer; prořezávání programů; rozšířené grafy vlastností kódu.; Statická analýza

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: https://hdl.handle.net/11012/248580

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-617534


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Diplomové práce
 Záznam vytvořen dne 2024-06-22, naposledy upraven 2024-06-30.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet