データフロー解析(DFA)は、静的解析によってプログラムの実行時の動作を推測して問題を検出します。
解析に費やすことのできる時間とリソースが限られている中で解析を実行するため、DFAには以下のような制限事項があります。には以下の制限事項があります。制限事項が存在するため、DFA では常に正確な結果が得られるわけではありません。
これは、検出されるべきでない問題が指摘される False Positiveや、検出されるべき問題が指摘されない False Negative  の結果になる場合があることを意味します。

・配列

配列の個々の要素についてのデータの追跡は実施しません。

...

各ループの最初の1回、最後の1回、代表的な中間の1回についてのデータの追跡を実施します。
全ての繰り返しにおけるデータの追跡を実施するわけではありません。ループの全ての繰り返しにおけるデータの追跡を実施するわけではありません。

・浮動小数点型変数

浮動小数点型変数のデータの追跡は実施しません。

...