-
题名面向软件可信性的可信指针分析技术综述
被引量：3
- 1
-
-
作者
姚宇峰
-
机构
常熟理工学院计算机科学与工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2012年第2期427-431,共5页
-
基金
高校青年教师科研启动基金资助项目
-
文摘
对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述。通过对现有可信指针分析技术的分析和比较,详细讨论了面向软件可信性的可信指针分析的关键技术;此外,重点介绍了流敏感指针分析及上下文敏感指针分析的方法和理论;最后对进一步研究工作的方向进行了展望。
-
关键词
软件可信
程序分析技术
可信指针分析
流敏感分析
上下文敏感分析
-
Keywords
software trustworthiness
program analysis technology
trustworthy pointer analysis
flow sensitive pointer analysis
context sensitive pointer analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种需求驱动的可信指针分析技术
- 2
-
-
作者
章洁
周西柳
-
机构
新余学院数学与计算机科学学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2013年第1期160-164,共5页
-
文摘
针对现有可信指针分析技术中关于精度和效率之间的取舍和权衡的不足,提出一种需求驱动的可信指针分析技术。该技术通过扩展SSA形式,使SSA可以用来表示间接的内存操作,即可以显式地将指针的解引用表示出来;之后利用引用定值分析将每个扩展SSA变量进行抽象存储,即记录每个变量的存储位置和引用位置,然后通过链进行连接;这样能够很容易地将指针,特别是需要分析的指针进行重点的有针对性的分析,这种本着需求驱动策略的分析方法大大提高分析的效率,最后通过实验验证了该方法的有效性。
-
关键词
可信指针分析
控制流分析
数据流分析
静态单赋值
需求驱动
-
Keywords
Trustworthy pointer analysis Control flow analysis Data flow analysis Static single assignment （SSA） Demand-driven
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
