最新のリリ,スでは,このペ,ジがまだ翻訳されていません。このペ,ジの最新版は英語でご覧になれます。
解析オプション
Polyspace®错误发现者™解析の設定
解析オプションのカテゴリは,[コンフィギュレ,ション]ペ@ @ンの異なるセクションに対応します。ユザンタスの[コンフィギュレ,ション]ペaapl . exeンから,あるいはコマンドラaapl . exeンでpolyspace-bug-finder
を使用して,解析オプションを指定できます。コマンドランパラメタは解析オプションの説明に記載されています。
- タゲットおよびコンパラ
タゲットプロセッサタプ,コンパラの動作 - マクロ
プリプロセッサの仕様と定義 - 環境設定
前処理スクリプト, - 入力およびスタブ
グロ,バル変数と関数の範囲の指定 - マルチタスキング
マルチタスキングオプション,エントリポ▪▪▪▪ント,クリティカルセクション,排他的タスク - コ,ディング規約およびコ,ドメトリクス
MISRA, AUTOSAR, CERTおよびJSFのコーディングルールセット,カスタムコーディングルール,コードメトリクス - Bug查找器解析
欠陥を検出するための解析オプション - 主机ジェネレ、タ、
主の生成,初期化,ステップ,終了関数,パラメ,タ,入力変数 - チェック動作
実行時チェック既定の動作の変更 - レポト
欠陥レポ,ト,概要レポ,ト,レポ,トテンプレ,ト - 実行設定
リモ,ト解析,検証結果リポジトリ - 詳細設定
事後解析コマンド,スクリプト,非公式オプション - コマンドラ@ @ンのみのオプション
コマンドラesc escンのみのオプション,詳細オプション