缓冲区溢出静态分析中的指针分析算法

• 作者: 张明军 罗军
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 缓冲区溢出 指针分析 静态单指派 定义-引用链
• 年，卷（期）: 2005,（18）
• 所属期刊栏目: 基金项目论文
• 页码范围: 41-43,107
• 页数: 4页
• 分类号: TP311
• 字数: 4547字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.18.015

摘要

提出一个扩展的流不敏感指针分析算法,主要用于缓冲区溢出静态分析,该算法把程序控制流图(CFG)转换为静态单指派(SSA),然后循环调用一个流不敏感指针分析,生成每个指针变量精确的指向集,更新指针变量的定义-引用链中约束信息.在LLVM编译系统下实现了该算法,实验表明其精度和流敏感的指针分析算法相当,但效率高于流敏感指针分析算法,时间复杂度低于流敏感指针分析算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗军	国防科学技术大学计算机学院	15	329	8.0	15.0
2	张明军	国防科学技术大学计算机学院	1	16	1.0	1.0