« PSPの『ProcessDashboard』を更新した | トップページ | MITの先生による講義@九州大学 »

2016年11月26日 (土)

有界モデル検査『CBMC』のGUI

有界モデル検査のツールであるCBMCは,コードを解析する際にとても有用です。

しかし,オリジナルのCBMCはCUIベースであり,かつ,オプションスイッチが多いためにやや利便性に難があります。

そのため,CBMCをGUIを通じて;
  • 「解析対象のコードの設定」
  • 「オプション設定」
  • 「解析結果の保存」
  • 「解析結果の表示」
  • 「解析作業に必要な各種設定」
  • など

GUIを通じてできるようにします。

Cbmc

|

« PSPの『ProcessDashboard』を更新した | トップページ | MITの先生による講義@九州大学 »

パソコン・インターネット」カテゴリの記事