Compiling code is not a form of static analysis.

Static analysis need not be performed before imperative code is executed.

Static analysis can find faults that are hard to find with

Extensive statistic analysis will not be needed if white- Box testing is to be performed.