このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

詳細設定

事後解析コマンドとその他のオプション

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

Polyspace オプション

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

トピック