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