Like reviews, static analysis looks for defects without executing the code. However, unlike reviews static analysis is carried out once the code has been written. Its objective is to find defects in software source code and software models.
Source code is any series of statements written in some human-readable computer programming language that can then be converted to equivalent computer executable code—it is normally generated by the developer.
A software model is an image of the final solution developed using techniques such as Unified Modeling Language (UML); it is normally generated by a software designer.
Static analysis can find defects that are hard to find during test execution by analysing the program code, ...