面向软件缺陷检测的静态分析技术

软件开发过程中的一个重要原则就是缺陷发现的时问越早越好，如果能控制软件缺陷，就可以得到高质量的软件。静态分析工具根据软件的结构、内容或文档来评价软件系统，而不需要执行程序。因此，可以较早地发现程序代码中的缺陷，使得后面的软件开发阶段可以着重分析复杂功能以及算法上的错误。主要对使用静态分析技术检测软件缺陷的方法进行研究，讨论静态分析技术的现状和进展情况以及静态分析的特点。