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

作者：张明军; 罗军

来源：计算机工程, 2005, (18): 41-43+107.

• 缓冲区溢出
• 指针分析
• 静态单指派
• 定义-引用链 Buffer overflow
• Pointer analysis
• Static single assignment (SSA)
• Define-use chain

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

• 单位
  中国人民解放军国防科学技术大学