組み込みﾈｯﾄ

AIC,組み込み応用向けﾗﾝﾀｲﾑ･ｴﾗｰ検出ﾂｰﾙを発売

　ｴｰｱｲｺｰﾎﾟﾚｰｼｮﾝ（AIC）は,ﾌﾗﾝｽPolySpace Technologies社の組み込みｱﾌﾟﾘｹｰｼｮﾝ向けﾗﾝﾀｲﾑ･ｴﾗｰ検出ﾂｰﾙ｢PolySpace Verifier/Viewer｣を発売した．C言語とAdaのｺｰﾄﾞをﾁｪｯｸできる．

　Verifier/Viewerは,実機ﾃｽﾄの前段階で,CPUの暴走などを引き起こすﾗﾝﾀｲﾑ･ｴﾗｰを自動的に発見するﾂｰﾙ．Verifierでｿｰｽ･ｺｰﾄﾞを静的に解析することにより,取り得る可能性のあるすべての入力値を検出する．そして,この値を入力としてViewerに与えて,ｺｰﾄﾞをﾁｪｯｸする．共有ﾃﾞｰﾀへの不正ｱｸｾｽの検出も行える．

　PolySpace Verifierで発見可能なﾗﾝﾀｲﾑ･ｴﾗｰは,次のとおり．
(1)ﾇﾙ･ﾎﾟｲﾝﾀ,境界外ﾎﾟｲﾝﾀへのｱｸｾｽ
(2)境界外配列へのｱｸｾｽ
(3)不整な型変換
(4)0による除算,負の数の平方根計算などの許可されていない計算
(5)整数演算および浮動小数点演算のｵｰﾊﾞ･ﾌﾛｰ/ｱﾝﾀﾞ･ﾌﾛｰ
(6)初期化されていない変数
(7)保護されていない共有ﾃﾞｰﾀへのｱｸｾｽ
(8)ﾃﾞｯﾄﾞ･ｺｰﾄﾞ

　Linux OSやSolaris OSの環境で動作する．最小構成の価格は150万円．