ソフトウェアバグを根絶する静的コード解析 ～組み込みシステムのセキ...

コード静的解析ツールのPolyspaceを使用したセキュリティ脆弱性とセキュアコーディングスタンダード、 形式手法を用いた実行時エラー検出とコード証明についてハイライトします。組み込みシステムの...