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

• 作 者: 祁鹏 宫云战 金大海
• 机 构: 北京邮电大学网络与技术研究院 北京 100876
• 出 处: 第三届全国软件测试会议与移动计算、栅格、智能化高级论坛
• 发表日期: 2009年期
• 关键词: 故障 面向对象 类型信息 开源项目 静态分析 检测分析 程序属性 程序分析 预分析 外部库 三步骤 复杂性 摘要 语言 框架 精度 函数 递增 测试 别名

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