visualC++にも静的解析ついた気がするな。
コンパイルに出来た気が。
解析に時間かかりすぎて使ったことはないが。