%0 Journal Article
%T Static Analysis of Programs:Techniques and Tools<br>程序静态分析技术与工具
%A YANG Yu ZHANG Jian
%A <br>杨宇
%A 张健
%J 计算机科学
%D 2004
%I 
%X Static analysis is of significant importance to guarantee software quality and improve software productivity. In this paper,we give an overview of the strategies that are used widely in static software analysis and compare static analysis tools that have been developed.
%K Program correctness
%K Static analysis<br>软件开发
%K 软件测试
%K 软件生产率
%K 软件质量
%K 静态程序分析工具
%K 程序设计语言
%K 计算机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=6EB6492CBEAB1ACB&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=0B39A22176CE99FB&sid=73579BC9CFB2D787&eid=0584DB487B4581F4&journal_id=1002-137X&journal_name=计算机科学&referenced_num=7&reference_num=24