Static Analysis of Programs: Techniques and Tools
Jian Zhang · 2004
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.