-
题名上下文敏感的纵向传播算法
被引量：1
- 1
-
-
作者
邓朝日
张玉萍
陈雄
梁辰
-
机构
上海师范大学信息与机电工程学院
-
出处
《计算机工程》
CAS
CSCD
2014年第2期62-66,共5页
-
基金
上海市教委创新基金资助项目(11ZZ124)
-
文摘
通过基于包含的指针分析在线优化技术中的纵向传播方法,改进基于调用图上下文敏感指针分析的环消除技术,提出一种上下文敏感的纵向传播算法。初始化约束图,在约束图中进行环探测及其合并,执行差异传播并循环处理复杂约束,直到一次调用纵向传播例程后图中所有结点指向集不变为止,从而得到图中各结点到其指向集的映射。应用CIL工具的实验结果表明,该算法能有效地对源程序进行上下文敏感的指针分析,与环消除技术相比,在分析大规模程序时具有更高的时间效率。
-
关键词
在线优化
纵向传播
调用图
上下文敏感指针分析
环消除
约束图
-
Keywords
on-line optimization
Deep Propagation（DP）
invocation graph
context-sensitive pointer analysis
cycle elimination
constraint graph
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名提高路径敏感缺陷检测方法的效率及精度研究
被引量：9
- 2
-
-
作者
赵云山
宫云战
刘莉
肖庆
杨朝红
-
机构
北京邮电大学网络与交换技术国家重点实验室
装甲兵工程学院信息工程系
-
出处
《计算机学报》
EI
CSCD
北大核心
2011年第6期1100-1113,共14页
-
基金
国家"八六三"高技术研究发展计划项目基金(2009AA012404)
国家自然科学基金项目"航天嵌入式软件缺陷检测方法研究
+1 种基金
系统研发及应用"(91018002
2010)资助
-
文摘
路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率下降.为了避免全路径敏感分析时的路径爆炸问题,一般会在控制流汇合节点进行缺陷状态合并,而这种粗糙的合并策略带来的精度损失会引起误报.针对上述问题,文中提出一种基于缺陷的程序切片方法,该方法基于缺陷特征和路径条件建立切片准则,根据控制流节点上的数据流信息与切片准则的包含关系进行程序切片,得到的切片程序在缺陷检测时切片掉了缺陷无关节点且与源程序完全等价,以提高缺陷检测效率.为了进一步减少路径敏感分析方法的误报,提出一种基于切片的缺陷状态合并策略,根据控制流分支节点的路径条件,对缺陷状态添加状态属性,从而有选择地对控制流汇合节点进行状态合并,减少精度损失.文中所述方法已在缺陷检测系统(DTSGCC)中实现.对大量Linux中GCC开源工程的测试结果表明,文中提出的方法可以提高路径敏感缺陷检测方法的效率,并减少误报.
-
关键词
静态分析
缺陷检测
路径敏感
误报
程序切片
上下文敏感分析
域敏感分析
-
Keywords
static analysis
defect detecting
path-sensitive
false positive
program slicing
context-sensitive analysis
field-sensitive analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向软件可信性的可信指针分析技术综述
被引量：3
- 3
-
-
作者
姚宇峰
-
机构
常熟理工学院计算机科学与工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2012年第2期427-431,共5页
-
基金
高校青年教师科研启动基金资助项目
-
文摘
对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述。通过对现有可信指针分析技术的分析和比较,详细讨论了面向软件可信性的可信指针分析的关键技术;此外,重点介绍了流敏感指针分析及上下文敏感指针分析的方法和理论;最后对进一步研究工作的方向进行了展望。
-
关键词
软件可信
程序分析技术
可信指针分析
流敏感分析
上下文敏感分析
-
Keywords
software trustworthiness
program analysis technology
trustworthy pointer analysis
flow sensitive pointer analysis
context sensitive pointer analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
