Coverityスタティックアナライザが報告した問題は、Flexで生成されたスキャナファイルで無視することができます。

Question

フレックス/バイソン生成のcppファイルを持つMy ProjectでCoverityスタティックアナライザツールを実行しています。 Coverityは、フレックスファイルの1つに次の警告を報告しています。

CID 340350 (#1 of 1): Dereference before null check (REVERSE_INULL) 
check_after_deref: Null-checking **yyg->yy_buffer_stack** 

は、nullである可能性がありますが、チェックに至るすべてのパスで既に参照解除されていることを示しています。コベリティは、問題を報告したフレックス生成されたファイルの

コードスニペット：

​​

Answer 1

二つの可能性があります - ポインタがすでに前に間接参照されているようにバグがあります。その場合にはNULLのいずれかとすることができるがチェックにもなった、またはチェックは、ポイントを提供しない過度に防御的なコーディングである。

コードが生成されているので、実際にNULLになる可能性があると思わない限り、この欠陥を無視する傾向があります。