search

mchalupa / dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
MIT License
481 stars 135 forks source link

`-cutoff-diverging` may miss some slicing criteria #427

Closed mchalupa closed 2 years ago

mchalupa commented 2 years ago

At least those given in the line:variable format. See https://github.com/mchalupa/dg/issues/426