k-object-sensitive analysis [14] is

k-object-sensitive analysis [14] is an object sensitive,
context sensitive, and flow insensitive analysis that computes
call-graph and points-to approximations.
The analysis is object sensitive in that it can represent
different objects allocated at the same site by potentially different
abstract objects. An abstract object o ∈ O is a finite
sequence of object allocation sites denoted [h1 :: ... :: hn].
The first allocation site h1 is the represented object’s allocation
site. The subsequent allocation sites [h2 :: ... :: hn]
represent the object denoted by the distinguished this variable
of the method where o was allocated—thus, that this
object was allocated at h2, in a method whose this object
is represented by [h3 :: ... :: hn], and so on. For static methods,
which lack the this variable, we represent the this
object by [] (which represents no objects).
The analysis is also context sensitive in that it can analyze
each method implementation in potentially multiple
abstract contexts. An abstract context c ∈ C is a pair (o,m)
of an abstract object o and a method m such that o abstracts
the this object of m; as above, for static methods o = [].
Finally, the analysis is flow insensitive as it computes
global (instead of per program point) points-to information.
This, however, does not adversely affect the precision of the
analysis on local variables as our implementation operates
on a Static Single Assignment (SSA) representation of the
program (Section 4).
The analysis produces the following relations:

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

k đối tượng nhạy cảm với phân tích [14] là đối tượng nhạy cảm,bối cảnh nhạy cảm, và phân tích dòng không nhạy cảm tínhđồ thị gọi và điểm-để xấp xỉ.Các phân tích là đối tượng nhạy cảm, trong đó nó có thể đại diện chocác đối tượng khác nhau được phân bổ tại cùng một trang web bởi khả năng có thể khác nhaucác đối tượng trừu tượng. Một đối tượng trừu tượng o ∈ O là một hữu hạntrình tự của các trang web phân bổ của đối tượng, ký hiệu [h1::...:: hn].Đầu tiên phân phối trang web h1 là đại diện của đối tượng giaoTrang web. Các trang web sau đó phân bổ [h2::...:: hn]đại diện cho các đối tượng biểu thị bằng việc phân biệt biến nàyCác phương pháp mà o giao-vì vậy, điều nàyđối tượng được cấp phát tại h2, trong một phương pháp mà đối tượng nàyđược đại diện bởi [h3::...:: hn], và như vậy. Đối với phương pháp tĩnh,mà thiếu này thay đổi, chúng tôi đại diện cho những điều nàyđối tượng của [] (trong đó đại diện cho các đối tượng không có).Việc phân tích cũng là bối cảnh nhạy cảm trong đó nó có thể phân tíchmỗi phương pháp triển khai thực hiện tại có khả năng nhiềutóm tắt hoàn cảnh. Một tóm tắt bối cảnh c ∈ C là một cặp (o, m)o đối tượng trừu tượng một và một phương pháp m như vậy mà o tóm tắtcác đối tượng này m; như trên, đối với phương pháp tĩnh o = [].Cuối cùng, các phân tích là dòng chảy không nhạy cảm vì nó tínhtoàn cầu (thay vì mỗi chương trình điểm) điểm đến thông tin.Điều này, Tuy nhiên, không bất lợi ảnh hưởng đến sự chính xác của cácphân tích về các biến địa phương như chúng tôi thực hiện hoạt độngtrên một nhiệm vụ duy nhất tĩnh (SSA) đại diện của cácchương trình (phần 4).Các phân tích tạo ra các mối quan hệ sau đây:

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

k-đối tượng nhạy cảm phân tích [14] là một đối tượng nhạy cảm,
bối cảnh nhạy cảm, và phân tích lưu lượng nhạy cảm mà tính
gọi đồ thị và các điểm đến xấp xỉ.
Các phân tích là đối tượng nhạy cảm ở chỗ nó có thể đại diện cho
đối tượng khác nhau được phân bổ tại cùng một trang web bằng cách có khả năng khác nhau
đối tượng trừu tượng. Một đối tượng trừu tượng o ∈ O là hữu hạn
chuỗi các trang web phân bổ đối tượng ký hiệu là [h1 :: ... :: hn].
Các trang web phân bổ đầu h1 là phân bổ các đối tượng đại diện của
trang web. Các trang web phân bổ tiếp theo [h2 :: ... :: hn]
đại diện cho các đối tượng biểu hiện bằng các phân biệt biến này
của phương pháp mà o được giao-do đó, điều này
đối tượng đã được phân bổ ở h2, trong một phương thức mà đối tượng này
được đại diện bởi [h3 :: ... :: hn], và như vậy. Đối với phương pháp tĩnh,
mà thiếu các biến này, chúng tôi đại diện này
đối tượng bằng [] (mà đại diện không có đối tượng).
Các phân tích cũng là bối cảnh nhạy cảm ở chỗ nó có thể phân tích
từng phương pháp thực hiện trong khả năng nhiều
bối cảnh trừu tượng. Một bối cảnh trừu tượng c ∈ C là một cặp (o, m)
của một đối tượng trừu tượng o và một phương pháp m mà o trừu tượng hóa
các đối tượng này của m; như trên, đối với phương pháp tĩnh o = [].
Cuối cùng, phân tích là dòng chảy không nhạy cảm như nó tính
toàn cầu (thay vì mỗi điểm chương trình) điểm-tới thông tin.
Điều này, tuy nhiên, không ảnh hưởng xấu đến độ chính xác của các
phân tích trên các biến địa phương như thực hiện của chúng tôi hoạt động
trên một đơn Assignment (SSA) đại diện tĩnh của
. chương trình (Phần 4)
phân tích sản xuất các quan hệ sau đây: