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

作     者：郭曦 GUO Xi

作者机构：武汉大学计算机学院湖北武汉430070 

出 版 物：《鄂州大学学报》 (Journal of Ezhou University)

年 卷 期：2010年第17卷第2期

页      码：10-12页

摘      要：缓冲区溢出是C语言程序中很常见的问题,它严重影响到系统的安全。该文通过对常用的指针分析算法进行比较和分析,包括上下文敏感、流敏感,域敏感分析等,着重分析并实现了Steensgaard算法,用来对C语言程序的缓冲区溢出进行静态分析,并进行指针安全的分析。

主 题 词：指针分析 缓冲区溢出 Steensgaard算法 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1008-9004.2010.02.002

馆 藏 号：203456714...