コベリティは静的解析ツールの最新版を展示、1400万桁のコードが2時間で解析可能に

「Coverity 6.0」の画面の一例（クリックして拡大）