Reports about dangerous usages of local variables or parameters,
such as implicit or undefined local variable or parameter that shadows an outer local variable or parameter.
Using data flow analysis, the IDE checks usages of local variables in your code and shows you the possible errors,
e.g. that a local variable may not be defined yet on some control flow, etc.