Pointer analysis attempts to determine the set of objects to which a pointer can point (called the points-to set of the pointer).
The objective of pointer analysis is to discern the group of objects that a pointer can potentially refer to, which is termed the points-to set of the pointer.