[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode. - View it on GitHub