-
题名缓冲区溢出静态分析中的指针分析算法
被引量：4
- 1
-
-
作者
张明军
罗军
-
机构
国防科学技术大学计算机学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第18期41-43,107,共4页
-
基金
国家"863"计划软件重大专项基金资助项目"服务器操作系统内核"(2002AA1Z2101)
-
文摘
提出一个扩展的流不敏感指针分析算法,主要用于缓冲区溢出静态分析,该算法把程序控制流图(CFG)转换为静态单指派(SSA),然后循环调用一个流不敏感指针分析,生成每个指针变量精确的指向集,更新指针变量的定义-引用链中约束信息。在LLVM编译系统下实现了该算法,实验表明其精度和流敏感的指针分析算法相当,但效率高于流敏感指针分析算法,时间复杂度低于流敏感指针分析算法。
-
关键词
缓冲区溢出
指针分析
静态单指派
定义-引用链
-
Keywords
Buffer overflow
Pointer analysis： Static single assignment （SSA）
Define-use chain
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
