一种利用指向组合优化依赖图构建的方法

指针的动态性使得程序分析中一个指针变量往往被认为有多个可能的指向目标，构成多个指向关系。现有的依赖图构建方法虽然较全面地考虑了指针的多指向性，但并未考虑指向关系之间的可组合性，因此精度上仍存在许多不足。为此，提出了一种利用无效指向组合优化依赖图构建的方法，新方法可以排除现有方法所不能识别的伪依赖，从而有效地提高依赖图的构建精度。