C/C++の品質と安全性を向上する静的解析とは Polyspace Bug Finderはプログラムを実行することなく、オーバーフローなどのソフトウェアの欠陥や、セキュリティ脆弱性の検出をスピーディに解析します。本ビデオでは、Polyspace Bug Finderの概要についてご紹介します。

C/C++の形式手法によるコード証明とは Polyspace Code Proverはプログラムを実行することなく、コードに実行時エラーがないことを証明します。本ビデオでは、Polyspace Code Proverの概要についてご紹介します。

次世代システムに求められるソフトウェア検証技術 ～静的解析の価値と有効性～ コード静的解析ツールのPolyspaceを使ったコード検証作業の効率化、モデルベースデザインプロセスの中での使用方法についてハイライトします。ソフトウェア品質やセキュリティに対する注目が増加するソフトウェアに関する検証作業の効率化に関心のある方にお勧めです。

ソフトウェアバグを根絶する静的コード解析 ～組み込みシステムのセキュリティ脆弱性の検出と安全性を証明～ コード静的解析ツールのPolyspaceを使用したセキュリティ脆弱性とセキュアコーディングスタンダード、 形式手法を用いた実行時エラー検出とコード証明についてハイライトします。組み込みシステムの安全性とセキュリティにご関心のある方にお勧めです。