Two main challenges unique to symbo

Two main challenges unique to symbolic analysis:
1. Constraint Solving
a. NP-complete, in general
b. "not our field"
2. State Explosion
a. All outcomes of a piece of code must be considered.
b. Loops!

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

Hai thách thức chính duy nhất cho phân tích biểu tượng:1. hạn chế giải quyếta. NP-đầy đủ, nói chungsinh "không trong trường của chúng tôi"2. nhà nước vụ nổa. tất cả kết quả của một đoạn mã phải được xem xét.sinh vòng!

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

Hai thách thức chính duy nhất để phân tích mang tính biểu tượng:
1. Hạn chế Giải quyết
một. NP-đầy đủ, nói chung
b. "không phải lĩnh vực của chúng tôi"
2. Nổ nhà nước
một. Tất cả các kết quả của một đoạn mã phải được xem xét.
B. Loops!