论文部分内容阅读
在定值引用错误中,错误源到达错误目标的路径往往很长且路径数众多,路径敏感检测分析的规模往往较大,特别是对大规模程序而言.为充分减小待分析问题规模并合理控制时间开销,我们提出一种基于GPU的融合危险路径并行提取策略的路径敏感分析输入规模有效控制方法.实验结果表明,与串行方法相比,基于GPU的并行策略获得了最高22.27x的加速比,可进一步提高路径敏感检测方法的可扩展性.