C语言指针分析的设计与实现.pdfVIP

第 l7卷 第 2期 鄂 州 大 学 学 报 2010年 3月 Vo1．17No．2 JournalofEzhouUniversity Mar．2010 C语言指针分析的设计与实现 郭 曦 (武汉大学 计算机学院，湖北 武汉 430070) 摘 要：缓冲区溢出是c语言程序 中很常见的问题，它严重影响到系统的安全。该文通过对常用的指针 分析算法进行比较和分析，包括上下文敏感、流敏感，域敏感分析等，着重分析并实现了Steensgaard~,- ，用 来对C语言程序的缓冲区溢出进行静态分析 ，并进行指针安全的分析。 关键词：指针分析 ；缓冲区溢出；Steensgaard算法 中图分类号 ：TP311 文献标识码 ：A 文章编号：1008—9004(2010)02—0010—03 1指针分析的研究背景 动分析和面向应用的算法来选择。 缓冲