Figure 4: Comparison of automated static analysis and manual code review.