Relations are declared next, along

Relations are declared next, along with the names and domains of their attributes.
Relation vP0 is the set of initial points-to relations. vP0 is declared as a set of tuples
(v,h), where v ∈ V and h ∈ H. vP0(v, h) is true iff the program directly places a ref-
erence to heap object h in variable v in an operation such as s = new String().
Relation store represents store operations such as x.f = y, and load similarly repre-
sents load operations. assign(x, y) is true iff the program contains the assignment x=y.
Assuming that a program call graph is available a priori, intraprocedural assignments
from method invocation arguments to formal method parameters and assignments from
return statements to return value destinations can be modeled as simple assignments.

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

Quan hệ được tuyên bố tiếp theo, cùng với tên và tên miền của các thuộc tính của họ.Mối quan hệ vP0 là các thiết lập ban đầu điểm-mối quan hệ. vP0 được tuyên bố như là một tập hợp các tuples(v, h), nơi h và v ∈ V ∈ H. vP0 (v, h) là đúng sự thật iff chương trình trực tiếp nơi một ref -erence đối tượng đống h trong biến v trong một hoạt động như s = mới String().Quan hệ cửa hàng đại diện cho cửa hàng hoạt động như x.f = y, và tải tương tự repre -sents tải hoạt động. chỉ định (x, y) là đúng iff chương trình bao gồm việc chuyển nhượng x = y.Giả sử rằng một chương trình gọi biểu đồ là có sẵn tiên, intraprocedural tậptừ phương pháp lý luận invocation tham số hình thức phương pháp và bài tập từtrở lại câu để trả lại giá trị điểm đến có thể được mô hình hóa như là các bài tập đơn giản.

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

Quan hệ này được khai báo tiếp theo, cùng với tên và lĩnh vực thuộc tính của chúng.
Quan hệ vP0 là tập hợp các điểm đến ban đầu quan hệ. vP0 được khai báo là một bộ dữ liệu
(v, h), trong đó v ∈ V và h ∈ H. vP0 (v, h) là đúng khi và chỉ khi các chương trình trực tiếp đặt một ref-
erence đến đối tượng đống h trong biến v trong một hoạt động như s = new string ().
cửa hàng Quan hệ đại diện cửa hàng hoạt động như xf = y, và tải diện tương tự
sents tải hoạt động. gán (x, y) là đúng khi và chỉ khi các chương trình có chứa các phân x = y.
Giả sử rằng một đồ thị cuộc gọi chương trình có sẵn một ưu tiên, tập intraprocedural
từ các đối số phương pháp gọi đến các thông số phương pháp chính thức và bài ​​tập từ
báo cáo return để trả về địa điểm giá trị có thể mô hình hóa như bài tập đơn giản.