Precise data-flow analysis of C programs is impossible without a solution to the reachability and aliasing problems, which are unfortunately undecidable
Phân tích dữ liệu chính xác-dòng của chương trình C là không thể mà không có một giải pháp cho các vấn đề reachability và răng cưa, được không may undecidable
Phân tích chính xác dữ liệu dòng chảy của chương trình C là không thể không có một giải pháp cho các vấn đề reachability và răng cưa, mà tiếc là không thể quyết định