ターゲットおよびコンパイラ
ターゲット プロセッサ タイプ、コンパイラの動作
解析オプション
トピック
入門
- Polyspace 解析オプションの指定
Polyspace® ユーザー インターフェイス、他の IDE、またはスクリプトで Polyspace 解析オプションを設定する。
コンパイラのエミュレート
- ターゲット環境とコンパイラの動作の指定
[ターゲットおよびコンパイラ] のオプションを指定する場合のワークフローを学ぶ。 - ビルド コマンド (Makefile) からの Polyspace 解析コンフィギュレーションの作成
ビルド コマンド (makefile) を再利用して Polyspace 解析オプションを構成する。
- Polyspace 解析への標準ライブラリ ヘッダーの指定
コンパイラの C または C++ の標準ライブラリ ヘッダーのパスを見つけて、Polyspace プロジェクトでパスを指定します。
言語規格および拡張
- Polyspace 解析で使用される C/C++ 言語規格
Polyspace 解析で使用されるサポートされている言語規格と既定の規格を確認する。
- サポートされる Keil または IAR 言語拡張
検証でサポートされる C 言語規格の Keil 固有または IAR 固有の拡張を調べる。