%0 Journal Article
%T 程序静态分析技术与工具
%A 杨宇 张健？
%J 计算机科学
%D 2004
%X 静态分析对于保证程序质量，提高软件生产率有重要的意义。本文综述了静态分析常用的策略，介绍了当前静态分析的研究现状，比较了目前已有的静态程序分析工具。
%K 软件开发软件测试软件生产率软件质量静态程序分析工具程序设计语言计算机
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=9323003&flag=1