The analysis infers possible points

The analysis infers possible points-to relations between heap objects, and possible
points-to relations from variables to heap objects. vP(v, h) is true if variable v may
point to heap object h at any point during program execution. Similarly, hP(h1, f, h2)
is true if heap object field h1.f may point to heap object h2.
Rule 1 incorporates the initial points-to relations into vP. Rule 2 computes the tran-
sitive closure over inclusion edges. If variable v2 can point to object h and v1 includes

Kết quả (Việt) 1:

Các phân tích infers có thể điểm đến quan hệ giữa đống đối tượng, và có thểđiểm đến quan hệ từ biến cho các đối tượng đống. vP (v, h) là đúng sự thật nếu biến v có thểđiểm đến đống đối tượng h tại bất kỳ điểm nào trong quá trình thực hiện chương trình. Tương tự, hP (h1, f, h2)là sự thật, nếu đống đối tượng quấn h1.f có thể trỏ đến đống đối tượng h2.Quy tắc 1 kết hợp các điểm ban đầu-cho các quan hệ thành vP. Quy tắc 2 tính trần-sitive đóng cửa trên cạnh bao gồm. Nếu biến v2 có thể trỏ đến đối tượng h và v1 bao gồm

Kết quả (Việt) 2:

Các phân tích suy luận điểm để có thể quan hệ giữa các đối tượng heap, và có thể
quan hệ điểm đến từ các biến đối tượng heap. VP (v, h) là đúng nếu biến v có thể
trỏ đến đối tượng heap h tại bất kỳ điểm nào trong quá trình thực hiện chương trình. Tương tự như vậy, HP (h1, f, h2)
là đúng nếu đối tượng đống fi lĩnh h1.f có thể trỏ đến đối tượng heap h2.
Rule 1 kết hợp các mối quan hệ ban đầu điểm đến vào VP. Quy tắc 2 tính toán tran-
đóng nhạy hơn cạnh thu nhận. Nếu biến v2 có thể trỏ đến đối tượng h và v1 bao gồm