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