10.3969/j.issn.1000-3428.2005.18.015
缓冲区溢出静态分析中的指针分析算法
提出一个扩展的流不敏感指针分析算法,主要用于缓冲区溢出静态分析,该算法把程序控制流图(CFG)转换为静态单指派(SSA),然后循环调用一个流不敏感指针分析,生成每个指针变量精确的指向集,更新指针变量的定义-引用链中约束信息.在LLVM编译系统下实现了该算法,实验表明其精度和流敏感的指针分析算法相当,但效率高于流敏感指针分析算法,时间复杂度低于流敏感指针分析算法.
缓冲区溢出、指针分析、静态单指派、定义-引用链
31
TP311(计算技术、计算机技术)
国家高技术研究发展计划863计划2002AA1Z2101
2005-10-20(万方平台首次上网日期,不代表论文的发表时间)
共4页
41-43,107