2.2 ExampleAlgorithm 1 Context-inse

2.2 Example
Algorithm 1 Context-insensitive points-to analysis with a precomputed call graph, where pa-
rameter passing is modeled with assignment statements.
DOMAINS
V 262144 variable.map
H 65536 heap.map
F 16384 field.map
RELATIONS
input vP0 (variable : V, heap : H)
input store (base : V, field : F, source : V)
input load (base : V, field : F, dest : V)
input assign (dest : V, source : V)
output vP (variable : V, heap : H)
output hP (base : H, field : F, target : H)
RULES
vP(v, h) : − vP0(v, h). (1)
vP(v1, h) : − assign(v1, v2), vP(v2, h). (2)
hP(h1, f, h2) : − store(v1, f, v2), vP(v1, h1), vP(v2, h2). (3)
vP(v2, h2) : − load(v1, f, v2), vP(v1, h1), hP(h1, f, h2). (4)

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

2.2 ví dụThuật toán 1 insensitive bối cảnh điểm để phân tích với đồ thị cuộc gọi precomputed, nơi mà pa -rameter đi qua được mô phỏng với nhiệm vụ phát biểu.TÊN MIỀNV 262144 variable.mapH 65536 heap.mapF 16384 field.mapQUAN HỆđầu vào vP0 (biến: V, đống: H)đầu vào cửa hàng (cơ bản: V, quấn: F, nguồn: V)nhập tải (cơ sở: V, quấn: F, dest: V)nhập Ấn định (dest: V, nguồn: V)sản lượng vP (biến: V, đống: H)đầu ra hP (cơ sở: H, quấn: F, mục tiêu: H)QUY TẮCvP (v, h): − vP0 (v, h). (1)vP (v1, h): − giao (v1, v2), phó chủ tịch (v2, h). (2)hP (h1, f, h2): − lưu trữ (v1, f, v2), phó chủ tịch (v1, h1), phó chủ tịch (v2, h2). (3)vP (v2, h2): − tải (v1, f, v2), phó chủ tịch (v1, h1), hP (h1, f, h2). (4)

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

2.2 Ví dụ
thuật toán 1 Context-insensitive điểm để phân tích với một đồ thị cuộc gọi precomputed, nơi nhân
rameter qua được mô hình hóa với câu lệnh gán.
LĨNH
V 262.144 variable.map
H 65536 heap.map
F 16384 field.map
QUAN HỆ
vP0 đầu vào (biến: V, heap: H)
cửa hàng đầu vào (cơ sở: V, fi lĩnh: F, nguồn: V)
tải đầu vào (cơ sở: V, fi lĩnh: F, dest: V)
đầu vào assign (dest: V, nguồn: V)
đầu ra vp ( biến: V, heap: H)
sản lượng HP (cơ sở: H, fi lĩnh: F, mục tiêu: H)
QUY ĐỊNH
VP (v, h): - vP0 (v, h). (1)
VP (v1, h): - gán (v1, v2), VP (v2, h). (2)
HP (h1, f, h2): - cửa hàng (v1, f, v2), VP (v1, h1), VP (v2, h2). (3)
VP (v2, h2): - tải (v1, f, v2), VP (v1, h1), HP (h1, f, h2). (4)