Master's Thesis - Evaluating Reliability of Static Analysis Results Using Machine Learning
machine-learning
static-analysis
llvm-slicer
vulnerability-detection
joern
dg
but-fit
program-slicing
d2a
graph-neural-networks
code-property-graph
llvm-link
llvm2cpg
meta-infer
-
Updated
Nov 12, 2024 - TeX