Aliasing occurs when two variables

Aliasing occurs when two variables refer to the same memory location.
In the presence of aliasing, inter-procedural static analysis is intractable.
This intractability property of pointer aliasing can be used to construct opaque predicates.
Construction based on the fact that it is impossible for approximate static analysers to detect all aliases all of the time.
The basic idea:
Construct a dynamic data structure and maintain a set of pointers on it.
Make opaque predicates from these pointers.
Insert code for manipulating these pointer locations, yet maintain the invariant condition.

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

Răng cưa xảy ra khi hai biến chỉ đến cùng một vị trí bộ nhớ.Sự hiện diện của răng cưa, thủ tục liên phân tích tĩnh là intractable.Tài sản này intractability của răng cưa con trỏ có thể được sử dụng để xây dựng predicates đục.Xây dựng dựa trên thực tế là nó không thể cho khoảng analysers tĩnh để phát hiện tất cả bí danh tất cả thời gian.Ý tưởng cơ bản:Xây dựng một cấu trúc dữ liệu động và duy trì một tập hợp các gợi ý về nó.Làm cho đục predicates từ các con trỏ.Chèn mã cho thao tác các địa điểm con trỏ, nhưng vẫn duy trì tình trạng bất biến.

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

Aliasing xảy ra khi hai biến tham khảo các vị trí nhớ cùng.
Trong sự hiện diện của răng cưa, phân tích tĩnh liên thủ tục là khó chữa.
Tài sản ngoan cố này của con trỏ răng cưa có thể được sử dụng để xây dựng các vị từ đục.
Xây dựng dựa trên thực tế rằng không thể cho phân tích tĩnh gần đúng để phát hiện tất cả các bí danh tất cả các thời gian.
Ý tưởng cơ bản:
Xây dựng một cấu trúc dữ liệu động và duy trì một tập của con trỏ trên nó.
Hãy vị mờ từ các con trỏ.
Chèn code để thao tác những vị trí con trỏ, nhưng duy trì các điều kiện bất biến .