Bug Finder 解析の前提条件
コード解析時に使用する前提条件
設定プロセスを単純化するため、ソース ファイルが不完全で main 関数を含まない場合は、Polyspace® Bug Finder™ ではコード解析時に特定の仮定を行います。ここでは、その仮定について説明します。
トピック
- Polyspace Bug Finder におけるグローバル変数
Bug Finder によるコード解析中のグローバル変数の処理方法を学ぶ。
- Polyspace Bug Finder における入力
Bug Finder によるコード解析中の入力の処理方法を学ぶ。
- Polyspace Bug Finder の volatile 変数
Bug Finder によるコード解析中の volatile 変数の処理方法を学ぶ。
- Polyspace Bug Finder での重複コード検出
重複コード検出とその制限事項について学ぶ。
- Expensive-to-Read Objects in Bug Finder
Find out how Bug Finder calculates if an object is more expensive to copy or more expensive to reference during a read operation.
