主要内容

。

ターゲットおよびコンパイラ

ターゲットプロセッサタイプ，コンパイラの动作

。结合は，マクロおよび环境设定カテゴリのオプションを使って特定のエラーを回避でき。

解析オプション

すべて展开する

ソースソースコードの（ - l） ソースファイルの言语の指定
C标准バージョン（-c-version） ソースコードで准拠する言语言语格を指定
C ++标准标准（-cpp-version） ソースコードで准拠するc ++言语言语格を指定

必要

コンパイラ（ - 计量程序） ソースコードのビルドに使使コンパイラの指定
ターゲットプロセッサタイプ（-target） 事前事前定义されれたターゲットプロセッサの选択によるデータ型サイズとエンディアンのの
泛 独自のターゲットプロセッサを作物することデータ型のサイズとの指定

オプション

size_tの经理（-size-t-type-is） size_t.の基となるデータ型の指定
WCHAR_T致原理（-WCHAR-T型） wchar_t.の基となるデータ型の指定
ブロックchar16 / 32_t型（ - unliterals） char16_t.またはchar32_t.Polyspace定义定义の无效无效の
SFR型のサポート（-sfr-types） keilまたはiarコンパイラで开放したコードに対するSFR.型のサイズの指定
パックアライメント値（ - 匹配 - 对准值） Visual C ++で开启したコードのの构造体パックパックのの指定
Pragma Pack指令指令无视（-ignore-pragma-pack） #pragma包指令の无视
除算での负向向へ丸め（ - 倒核） 负の数码の除算の商店またはモジュラスの切り上げではなくて
列挙型の定义（-enum型定义） 枚举を基本データデータ型でで方法のの
符号付き右シフト（ - 签名右移） 符号付き销量のの右のの符ビットをどのようにかかの指定

トピック

入门

Polyspace解析解析オプションの

波尔盖斯®ユーザーインターフェイス，他他ide，またはスクリプトで波动解析オプションを设定する。

コンパイラのエミュレート

ターゲット环境とコンパイラの动作の指定

[ターゲットおよびコンパイラ]のオプションを指定するするするワークフロー学习。

ビルドビルドシステムからの作作作作者

POLYSPACEプロジェクトの自动作用作物がシステムで机能し可能性ががとと，その问题の一切へへのについて明する。

Polyspace解析解析へのの标准ヘッダーの

コンパイラのcまたはc ++の标准ライブラリヘッダーのパス见つけて，多重プロジェクトプロジェクトパスを指定します。

Polyspace Bug Finderドキュメンテーション

サポート

MATLAB，金宝appSIMULINK，その他の制品ををお试し

无料评価版のダウンロード