程序静态分析技术与工具

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