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

摘要

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