>>290
> つまり、静的解析でバグが発見されなければバグが存在しない、ということが求められてる。

こんなこと不可能だろ。
その部分問題に過ぎない停止問題でさえ決定不能なのに。