Static Analysis of Programs:Techniques and Tools
程序静态分析技术与工具

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.