詳細設定

事後解析コマンド、スクリプト、非公式オプション

検証後に実行可能なコマンドやスクリプトを指定する、または Polyspace® ユーザー インターフェイスでコマンド ライン専用オプションを指定するには、詳細オプションを使用します。

Polyspace オプション

すべて展開する

コード検証の終了後に適用するコマンド/スクリプト (-post-analysis-command)解析後に実行されるコマンドまたはスクリプトの指定
Other静的解析用に追加のコマンド ライン フラグを指定する

トピック