基于源代码的指针分析算法的安全性改进

• 作者: 谢立 魏磊
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 指针分析 算法 类型系统 函数标签
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 基金项目论文
• 页码范围: 9-11
• 页数: 3页
• 分类号: TP3
• 字数: 2926字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2008.12.004

摘要

提出了一种安全性更强的指针分析算法.通过对四种常用的指针分析算法的综合分析,选取了Steensgaard算法进行安全性改进,在该算法的基础上通过添加强制类型转换的语义并对算法的类型系统的推导规则进行改进,使其避免了因精确性损耗而导致的攻击的漏报,同时还保持了原有算法复杂度不变.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢立	南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系	240	3931	32.0	55.0
2	魏磊	南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系	1	0	0.0	0.0