We do not know, in practice, how to

We do not know, in practice, how to arbitrarily generate sufficiently hard obfuscated problem instances such that all program analysis techniques would fail (e.g. give imprecise, unanalysable results, or be unscalable, run out of memory, crash, or never terminate).
What sort of analysis tools are useful for the automated understanding of the code obfuscated with “computationally intractable” transforms?
Can general purpose program analysis tools be used to assess the obfuscatory strength of aliasing transforms or do we need to develop customised analysis tools instead?
Can we guarantee that all general tools of that category (and its improved versions) can “crack” any general instance of code obfuscated with a particular obfuscation?

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

Chúng tôi không biết, trong thực tế, làm thế nào để tự ý tạo ra trường hợp vấn đề obfuscated đủ khó khăn như vậy mà tất cả các kỹ thuật phân tích chương trình sẽ thất bại (ví dụ như cho kết quả không chính xác, unanalysable, hoặc là unscalable, chạy ra khỏi bộ nhớ, tai nạn, hoặc không bao giờ chấm dứt).Những gì sắp xếp của các phân tích công cụ rất hữu ích cho sự hiểu biết tự động mã obfuscated với "computationally intractable" biến đổi?Có thể thông dụng chương trình phân tích công cụ được sử dụng để đánh giá sức mạnh obfuscatory răng cưa biến đổi hoặc làm chúng ta cần để phát triển các công cụ phân tích tùy chỉnh thay vào đó?Chúng tôi có thể đảm bảo rằng tất cả các công cụ tổng thể loại đó (và các phiên bản cải tiến của nó) có thể "crack" bất kỳ trường hợp chung của mã obfuscated nhãn obfuscation cụ thể?

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

Chúng tôi không biết, trong thực tế, làm thế nào để tự ý tạo ra các trường hợp vấn đề đủ cứng làm rắc rối như vậy mà tất cả các kỹ thuật phân tích chương trình sẽ thất bại (ví dụ như cung cấp không chính xác, kết quả unanalysable, hoặc có thể leo, chạy ra khỏi bộ nhớ, tai nạn, hoặc không bao giờ chấm dứt).
Những gì loại công cụ phân tích rất hữu ích cho sự hiểu biết tự động của mã khó hiểu với "tính toán nan giải" biến?
mục đích chung các công cụ phân tích chương trình có thể được sử dụng để đánh giá sức mạnh obfuscatory hệu biến đổi hoặc làm chúng ta cần phải phát triển các công cụ phân tích tùy chỉnh để thay thế?
Có thể chúng ta đảm bảo rằng tất cả các công cụ chung của loại đó (và các phiên bản cải tiến của nó) có thể "crack" bất kỳ trường hợp tổng quát của mã khó hiểu với một obfuscation cụ thể không?