backward-slicing topic
List
backward-slicing repositories
dg
471
Stars
131
Forks
Watchers
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
