コベリティは、米スタンフォード大学の研究チームが開発した技術をベースとしたソースコード解析ツール。コンパイル時にソースコードを静的に解析することで、プログラムの不具合やセキュリティ脆弱性を発見できる。対応するプログラムはC、C++、Javaの3種類…