基于区域内存模型的C程序静态分析

著录项

• 来源
  《软件学报》 |2014年第2期|357-372|共16页
• 作者

  董玉坤; 金大海; 宫云战; 邢颖;

  展开▼
• 作者单位

  网络与交换技术国家重点实验室(北京邮电大学);

  北京100876;

  中国石油大学(华东)计算机与通信工程学院;

  山东青岛266580;

  网络与交换技术国家重点实验室(北京邮电大学);

  北京100876;

  网络与交换技术国家重点实验室(北京邮电大学);

  北京100876;

  网络与交换技术国家重点实验室(北京邮电大学);

  北京100876;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  可寻址表达式; 内存模型; 静态分析; 符号化函数摘要; 缺陷检测;