[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
No resources for this project.