llvm-slicer

There are 0 repository under llvm-slicer topic.

mchalupa / dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
llvm-bitcode llvm-slicer dependence-graph static-analysis static-code-analysis reaching-definitions slicing dependency-graph program-analysis slice analysis llvm llvm-ir static-analyzer pointer-analysis points-to-analysis data-dependency control-dependency backward-slicing backward-slice
Language:C++ 471
TomasBeranek / but-masters-thesis
Master's Thesis - Evaluating Reliability of Static Analysis Results Using Machine Learning
code-property-graph d2a graph-neural-networks machine-learning static-analysis vulnerability-detection but-fit dg joern neo4j program-slicing llvm-link llvm2cpg meta-infer llvm-slicer
Language:TeX