Algorithm 1 is the Datalog program

Algorithm 1 is the Datalog program for a simple Java points-to analysis. It begins
with a declaration of domains, their sizes, and optional mapping files containing mean-
ingful names for the numerical values in each domain. V is the domain of local variables
and method parameters, distinguished by identifier name and lexical scope. H is the do-
main of heap objects, named by their allocation site. F is the domain of field identifiers,
distinguished by name and the type of object in which they are contained.
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.
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:

Thuật toán 1 là chương trình Datalog cho một Java đơn giản điểm-để phân tích. Nó bắt đầuvới một tuyên bố của tên miền, kích thước của họ, và lập bản đồ tùy chọn dòng có nghĩa là-ingful tên cho các giá trị số ở mỗi miền. V là tên miền của các biến địa phươngvà phương pháp tham số, phân biệt bằng identifier tên và phạm vi từ vựng. H là do-chính đối tượng đống, đặt theo tên của trang web phân phối của họ. F là tên miền identifiers quấn,phân biệt bằng tên và loại của các đối tượng mà họ đang có.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.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:

Thuật toán 1 là chương trình Datalog cho một đơn giản điểm đến Java phân tích. Nó bắt đầu
với một tuyên bố của các lĩnh vực, kích thước của chúng, và bản đồ tùy chọn fi les chứa uốn lượn
tên ingful cho các giá trị số trong mỗi miền. V là miền của các biến địa phương
và các thông số phương pháp, phân biệt bởi tên fi er identi và phạm vi từ vựng. H là do-
chính của các đối tượng heap, được đặt tên bởi trang web phân bổ của họ. F là tên miền của ers fi identi fi lĩnh,
phân biệt bởi tên và kiểu của đối tượng, trong đó họ được chứa.
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.
Các phân tích suy luận có thể điểm đến 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