程序静态分析技术与工具

作者：杨宇; **

来源：计算机科学, 2004, (02): 171-174.

• 程序正确性
• 静态分析

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

• 单位
  中国科学院软件研究所; 计算机科学国家重点实验室