GitHub topics: backward-slicing
mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Language: C++ - Size: 5.72 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 499 - Forks: 136
Related Keywords
analysis
1
backward-slice
1
backward-slicing
1
control-dependency
1
data-dependency
1
dependence-graph
1
dependency-graph
1
llvm
1
llvm-bitcode
1
llvm-ir
1
llvm-slicer
1
pointer-analysis
1
points-to-analysis
1
program-analysis
1
reaching-definitions
1
slice
1
slicing
1
static-analysis
1
static-analyzer
1
static-code-analysis
1