Terminology
A variable or location can be said to be in one of three states at any given point in the program:
- Definitely assigned: The variable is known with certainty to be assigned.
- Definitely unassigned: The variable is known with certainty to be unassigned.
- Unknown: The variable may be assigned or unassigned; the analysis is not precise enough to determine which.
Read more about this topic: Definite Assignment Analysis