Figure 1: The role of static analysis in the software development process.