程序标准化转换中的指针分析算法研究

• 作者: 王甜甜 苏小红 马培军
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 程序标准化 指针分析 指针别名 控制依赖树
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 科研通信
• 页码范围: 1104-1108
• 页数: 5页
• 分类号: TP311
• 字数: 4155字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2009.05.034

摘要

针对已有指针分析算法的程序中间表示不能充分表示程序的语法结构与语义,而导致不适合应用于程序标准化转换的问题,提出基于控制依赖树的流敏感和上下文敏感的过程间指针分析算法.将程序表示为控制依赖树,改进指向表示法用以表示指针别名,在此基础上定义数据流公式,对控制依赖树进行流敏感和上下文敏感的指针分析.实验结果表明,该算法的准确性高于Emami指针分析算法的准确性,并且应用于程序标准化时可显著提高代码多样化消除率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏小红	哈尔滨工业大学计算机科学与技术学院	152	1551	20.0	34.0
2	马培军	哈尔滨工业大学计算机科学与技术学院	93	639	14.0	20.0
3	王甜甜	哈尔滨工业大学计算机科学与技术学院	53	371	11.0	17.0