一种利用指向组合优化依赖图构建的方法

• 作者: 张磊 钱巨 陶彬贤
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 依赖图 指针 组合 别名 程序切片
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 139-143
• 页数: 5页
• 分类号: TP311.5
• 字数: 6514字
• 语种: 中文

摘要

指针的动态性使得程序分析中一个指针变量往往被认为有多个可能的指向目标,构成多个指向关系.现有的依赖图构建方法虽然较全面地考虑了指针的多指向性,但并未考虑指向关系之间的可组合性,因此精度上仍存在许多不足.为此,提出了一种利用无效指向组合优化依赖图构建的方法,新方法可以排除现有方法所不能识别的伪依赖,从而有效地提高依赖图的构建精度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张磊	南京航空航天大学计算机科学与技术学院	82	468	13.0	16.0
2	钱巨	南京航空航天大学计算机科学与技术学院	23	99	5.0	9.0
3	陶彬贤	南京航空航天大学计算机科学与技术学院	3	10	2.0	3.0