This inspection reports local variables that may have not been initialized before their usage. Formally, there is a path in the call graph that starts at a variable declaration and ends at its usage which has no assignments or dereferences of this variable.