Steensgaard算法相关论文
指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分......
会议
缓冲区溢出是C语言程序中很常见的问题,它严重影响到系统的安全。该文通过对常用的指针分析算法进行比较和分析,包括上下文敏感、......