いや、そうじゃない。
マルチスレッドのバグを静的解析で確実に発見できるタイプのコードを書くことが求められてる。
つまり、静的解析でバグが発見されなければバグが存在しない、ということが求められてる。

それが出来ないのなら、マルチスレッドは禁止。