This inspection reports the issues found by context-sensitive data flow analyser. Such as: "Condition is always true/false", "Incompatible cast", "Null dereference", "Unreachable code", etc.