一种过程间未初始化变量静态检测方法

摘要

未初始化变量是C/C++中的常见故障,本文针对未初始化变量提出了一种域敏感变量过程间静态检测方法.本文首先分析了一个由函数调用引起的域敏感变量使用未初始化模式的例子,然后提出了域敏感变量过程间约束信息模型和域成员变量过程间约束信息模型,在此基础上,介绍了基于静态分析和控制流图的过程间约束信息生成和传播算法.此方法在前置约束信息中增加域敏感变量的域成员的信息,将对一个变量的检测扩展为对变量的多个成员的检测,提高了检测的精度.最后本文通过一个应用实例说明了此方法的分析过程.