GitHub repository: mayhemheroes/dg
Description: [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.