静的解析によって発見することが「できない」ものはどれか。

実行しないと発生しない無限ループやデッドロックは、一般に動的テストで確認する必要がある。