一种过程间数组越界静态检测方法

摘要

本文针对数组越界模式提出了多变量约束的过程间静态检测方法.本文首先分析了一个过程间数组越界模式的例子,然后提出了多变量约束的模型,用一个四元组来表示多变量约束信息.在此模型的基础上,介绍了多变量约束的生成、传播算法以及使用方法.此方法在前置约束信息中增加多变量关系的分析,使前置约束信息中能够记录多变量的约束关系,以达到减少误报和漏报的目的.最后本文通过一个应用实例说明了此方法的分析过程.