会員登録すると専用コンテンツ・機能をご利用いただけます。他のメッセージと区別するために記号が付与されています。定められている文法が使用されているなお、データフロー解析には、特定のデータフロー問題の識別メッセージに対する状況を示す語として、次の5つの用語が使用されます。Constantの略となります。厳密に言うと、Constantメッセージはデータフロー解析メッセージではありません。これは、制御フロー解析または変数のステータスの解析を行わずに推定できる問題を検出します。Definiteの略となります。Definiteメッセージは、明らかに起こる問題を検出します。Apparentの略となります。:)、if文またはswitch文に関連付けられた特定のパスが常に冗長ではない場合に起こる問題を検出します。Suspiciousの略となります。Suspiciousメッセージは、ループ構造の実行中に、ある条件が実現しない場合に起こる問題を検出します。Possibleの略となります。Possibleメッセージは、「データフロー解析エンジンの制約」または「コードがより決定的な結論を導けるように記述されていない」ことが原因で、不確実になっている問題を検出します。※データフロー解析については、「データフロー解析(DFA)とはなんですか?」をご覧ください。本ウェブサイトではサイト利用の利便性向上のために「クッキー」と呼ばれる技術を使用しています。サイトの閲覧を続行されるには、クッキーの使用に同意いただきますようお願いいたします。詳しくはプライバシーポリシーをご覧ください。