论文部分内容阅读
确保程序中没有运行时错误，对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象，是验证运行时错误最合适的形式化方法之一。然而抽象解释对于程序语义的抽象可能导致过近似问题，从而引发误报，降低了分析精度。因此提出了迹划分的技术，根据程序的迹对程序控制流图进行划分，对静态分析过程进行局部细化，减少了抽象解释过程中过近似引发的误报。迹划分技术以局部分析效率降低为代价换来了分析精度的提高。