コンテキスト依存のデータフローアナライザーが検出した問題を報告します。 たとえば、"定数条件"、"ダングリングポインター"、"Null 逆参照"、"到達不能コード" などが挙げられます。