>>302
>　シングルスレッドのソースを静的解析しても見つけられないバグはある。

アプローチが逆なのよ

バグがあったときに、その原因を探すために静的解析を使って、それが万能ではないことに嘆くのではなく、
バグがあったとしても、それが万能ではない静的解析で見つけられるタイプのバグになるようにするのよ。
静的解析で完全にバグを抽出できる・・・というのは無理だけれども、できる限りやるのよ。