Static Slicer for LLVM