Reports the issues found by the context-sensitive data flow analyser. Such as: "Constant condition", "Dangling pointer", "Null dereference", "Unreachable code", and so on.