Which ONE of the following statements is correct?

Static analysis can be used against a work product containing unstructured artifacts

Difficult to interpret work products are best tested using static analysis.

There may be legal issues in performing static testing on a commercially available executable library.

Test cases can be tested using static testing techniques but not the models