動作環境
- OS
- Windows Linux
- 校正
- Standalone Standalone Server-Client
- 言語
- C/C++
認証
- GS認証
- CC認証
- ISO 26262-8:2018 ツール 認証
C/C++
C/C++共通
関数ドライバーコードの自動生成
- int/float/構造体/共用体/配列/ポインターパラメーター入力値の自動生成
関数スタブコードの自動生成
- 関数ポインターパラメーターのためのスタブ関数の自動生成
- ファイル内部、外部関数スタブ化を設定可能
- 二重ポインター構造体パラメーターの入力値の自動生成
- リターン値の自動生成
Indirect callユーザー呼び出し置換
不具合の自動検出
- 0除算、配列範囲の超過、Nullオブジェクトフィールドへの
アクセスなど
C++
C++
クラスシンボル生成サポート
メソッドドライバーの自動生成
ドライバー/スタブ追加機能
- protected/privateフィールドへのアクセス迂回対応
- テンプレート使用に対応
QTフレームワークに対応