论文部分内容阅读
为更准确的检测程序中可能出现的缓冲区溢出漏洞，本文提出了一种C语言缓冲区溢出漏洞检测的静态分析方法，它在源代码的SSA（Static Single Assignment）式上进行外部数据分析．并给出了该方法的实现过程。通过实践的结果表明该方法能有效的避免误判，与其他同类方法相比具有较高的准确性。