ニュース
MISRA C 2012サポートなど、静的コード解析ツール「Coverity」に新バージョン
日本シノプシスが静的コード解析ツール「Coverity」の最新バージョン「Coverity 8.5」を発表した。「MISRA C 2012」を完全サポート、セキュリティ解析機能も強化した。
日本シノプシスは2016年7月12日、静的コード解析ツール「Coverity」の最新バージョン「Coverity 8.5」を発表した。
新バージョンではコーディングガイドライン「MISRA C 2012」を完全サポートしており、自動車や医療機器といったミッションクリティカルなソフトウェア開発支援機能を強化した。
言語対応としては新たにRubyとNode.jsの解析機能が搭載されており、セキュリティ面では既にサポート済みプログラミング言語のセキュリティ解析機能が強化され、加えてOWASP Top 10やCWE/SANS Top25などで指定されている脆弱性の検出が可能となっている。
IDE（統合開発環境）も最新版となり、レポート環境も強化された。レポート環境についてはCoverityをはじめ、「Defensics」や「Protecode supply Chain」といった各種ツールの解析結果概要を一覧表示できるようになっている。
Copyright © ITmedia, Inc. All Rights Reserved.
関連記事
いま求められるソフトウェア静的解析・動的解析 第2回：「根拠ある作業」のため「ソフトウェア解析」ができること
動的解析とは動作しているソフトウェアの動作を計測・測定することですが、大切なのは「その結果をどう利用するか」です。勘に頼った作業ではなく「根拠ある」作業のため、動的解析がどう利用できるのか解説します。
組み込みソフトウェア開発者に贈る「静的解析・動的解析」の必要性
組み込みソフトウェア開発における「静的解析」「動的解析」を、“なんとなく”行っていないでしょうか。開発効率の向上や品質改善に欠かせないこれらを活用するため、まずはその必要性について解説します。
シノプシスが機能安全と車載セキュリティを重視、「Coverity」をISO26262に準拠
Synopsys（シノプシス）は、同社のソフトウェアインテグリティソリューションの基幹ツールである「Coverity」と「Test Advisor」について、自動車向け機能安全規格のISO 26262と一般産業機器向け機能安全規格のIEC 61508に準拠したシステムの開発に適用できるという第三者認証を取得したと発表した。