[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
analysis
static-code-analysis
llvm
static-analysis
dependency-graph
slice
static-analyzer
program-analysis
llvm-bitcode
llvm-slicer
dependence-graph
reaching-definitions
pointer-analysis
slicing
llvm-ir
points-to-analysis
data-dependency
control-dependency
backward-slicing
backward-slice
-
Updated
Nov 29, 2023 - C++