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