[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++