程序静态分析技术与工具

摘要：

静态分析对于保证程序质量,提高软件生产率有重要的意义.本文综述了静态分析常用的策略,介绍了当前静态分析的研究现状,比较了目前已有的静态程序分析工具.

关键词：程序正确性、静态分析

所属期刊栏目：31

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60125207;国家重点基础研究发展计划973计划G1998030600

在线出版日期：2004-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：171-174