-
题名基于区域内存模型的C程序静态分析
被引量：9
- 1
-
-
作者
董玉坤
金大海
宫云战
邢颖
-
机构
网络与交换技术国家重点实验室(北京邮电大学)
中国石油大学(华东)计算机与通信工程学院
-
出处
《软件学报》
EI
CSCD
北大核心
2014年第2期357-372,共16页
-
基金
国家自然科学基金(91318301
61202080)
国家高技术研究发展计划(863)(2012AA011201)
-
文摘
为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系,包括指向关系、层次关系与取值逻辑关系.为了提高静态分析的精度,提出了一种基于RSTVL的流敏感、域敏感的过程内分析与基于符号化函数摘要的上下文敏感的过程间分析,能够精确地分析出每个程序点上的形态信息、数据流信息与指针指向关系.实验结果表明,相对于基于符号化三值逻辑的方法,该分析方法在保证一定分析效率的前提下,能够实现较高准确度的分析.
-
关键词
可寻址表达式
内存模型
静态分析
符号化函数摘要
缺陷检测
-
Keywords
addressable expression
memory model
static analysis
symbolic function summary
defect detection
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
