a static program slicer based on LLVM IR