一种过程间数组越界静态检测方法
本文针对数组越界模式提出了多变量约束的过程间静态检测方法。本文首先分析了一个过程间数组越界模式的例子，然后提出了多变量约束的模型，用一个四元组来表示多变量约束信息。在此模型的基础上，介绍了多变量约束的生成、传播算法以及使用方法。此方法在前置约束信息中增加多变量关系的分析，使前置约束信息中能够记录多变量的约束关系，以达到减少误报和漏报的目的。最后本文通过一个应用实例说明了此方法的分析过程。
软件测试 静态检测 约束机制 数组越界模式
Nie Minhui 聂敏慧 Jin Dahai 金大海 Gong Yunzhan 宫云战
State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecom 北京邮电大学网络与交换技术国家重点实验室 北京 100876 中国
国内会议
杭州
中文
133-138
2012-06-23（万方平台首次上网日期，不代表论文的发表时间）