Static program analysis is a cornerstone in verifying, optimising, and debugging modern software systems. By evaluating code without executing it, these techniques enable early detection of ...

This article is part of the TechXchange: Developing High-Quality Software. What you’ll learn: How exhaustive static analysis overcomes the limitations of traditional tests and static-analysis tools.

With static analysis tools such as Coverity’s, on the other hand, the application is never executed. Instead, the tools work by examining the program code itself.