作者：张弛; 丁泽文; 刘林武抽象解释迹划分静态分析运行时错误软件安全性
摘要：确保程序中没有运行时错误，对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象，是验证运行时错误最合适的形式化方法之一。然而抽象解释对于程序语义的抽象可能导致过近似问题，从而引发误报，降低了分析精度。因此提出了迹划分的技术，根据程序的迹对程序控制流图进行划分，对静态分析过程进行局部细化，减少了抽象解释过程中过近似引发的误报。迹划分技术以局部分析效率降低为代价换来了分析精度的提高。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
