普通、マルチスレッドのバグでやっかいなものって動的なものだから、
coverityの静的解析が無いとどうにもならん、てのはいまいち理解できん