Connection analysis is a storeless heap pointer analysis, … pointers. It is performed after points-to analysis, and … if they possibly point to heap objects belonging … to disjoint data structures. … [p. 123] Note that it is the negative information … relationships, so any operation on array a must …
Google-1
Google-2
Copyright clearance needed for quotation.