基于惰性计算的域敏感指针分析方法（原型系统）

Detection Method of Program Dependence Cluster for LLVM IR

C/C++程序切片器（JCST 2021, DOI: 10.1007/s11390-020-9754-4）