C/C++の品質と安全性を向上する静的解析とは
出典シリーズ: Polyspace製品紹介
Polyspace Bug Finder はプログラムを実行することなく、オーバーフローなどのソフトウェアの欠陥や、セキュリティ脆弱性の検出をスピーディに解析します。様々なチェック項目や、業界標準のコーディングルールチェックからソースコードの問題を早期段階で発見し、コードメトリクスにより品質を定量的に測定します。高い品質と安全性が要求される組込みソフトウェア開発でその効果を特に発揮します。
本ビデオよりも詳細な内容はこちらからご覧ください。
次世代システムに求められるソフトウェア検証技術 ～静的解析の価値と有効性～
Published: 2017 年 8 月 18 日
