静的コード解析ツール「Coverity」の最新版、シノプシスが提供開始（関連情報）：モバイル／車載アプリ向け解析機能も強化