GitHub repository: staticafi/dg
Primary language: C++
Description: [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.