面向故障的C++程序全局静态分析框架

摘要：

针对面向对象C++程序,通过与建立独立的类型信息及函数摘要抽象来实现递增静态分析程序属性和行为,分为全局预分析,本地分析,故障检测分析三步骤,可推广于大规模的程序分析。通过对开源项目的测试,程序能够在时间和精度都有较好的结果。由于面向对象C++语言本身的复杂性,例如别名信息,多态等以及引用外部库的问题,本框架依然有很大的改进空间。

关键词： 静态分析 函数摘要 类型推导 故障模式 区间运算

作者: 祁鹏 宫云战 金大海

作者单位: 北京邮电大学网络与技术研究院 北京 100876

会议类型: 国内会议

会议名称: 第三届全国软件测试会议与移动计算、栅格、智能化高级论坛

会议地点: 武汉

会议语种:中文

页码: 94-98

在线出版日期: 2009-08-15（万方平台首次上网日期，不代表论文的发表时间）