论文部分内容阅读
该文对软件静态分析技术进行了深入的研究,分析了软件静态分析技术的起源和发展,特别讨论了手工静态分析技术与计算机自动静态分析技术的不同特点和关系,对静态分析技术的发展方向进行了大胆的预测;同时,我们详细讨论了一个自动静态分析系统的功能和实现方法,最后,我们从实践者的角度总结了在软件开发中进入静态分析技术的实践经验,并指出了进一步的研究方向.