Trình biên dịch và thông dịch viên có thể có lỗi không, và chúng ta (với tư cách là người dùng) có thể làm gì để đối phó với chúng? [đóng cửa]

Nếu công việc của một trình biên dịch về cơ bản là dịch mã nguồn thành mã cấp độ máy, thì có thể có bất kỳ trục trặc nào trong trình biên dịch, tức là "bản dịch" bị lỗi không?

Điều tương tự cũng xảy ra với một trình thông dịch: đôi khi nó có thể không xuất nội dung được yêu cầu không?

Tôi chưa nghe thấy bất kỳ lỗi nào trong trình biên dịch / trình thông dịch, nhưng chúng có tồn tại không?

Vâng

Bạn có xu hướng tìm thấy chúng nhiều hơn trong các ngôn ngữ đang được tích cực phát triển hơn so với những ngôn ngữ tương đối trưởng thành (và do đó không thấy nhiều thay đổi trên cơ sở thường xuyên). Đây có lẽ là lý do tại sao hầu hết các ngôn ngữ được phát hành ở các 'giai đoạn' ổn định khác nhau. Bản dựng hàng đêm ít có khả năng ổn định hơn nhiều so với một ứng cử viên phát hành , bản thân nó ít có khả năng ổn định hơn so với phiên bản được phát hành đầy đủ và được sử dụng tích cực.

May mắn thay, hầu hết các ngôn ngữ này (đặc biệt là các ngôn ngữ là nguồn mở) sẽ có hệ thống theo dõi lỗi công khai mà bạn có thể gửi báo cáo.

Theo kinh nghiệm của riêng tôi, tôi gặp phải một lỗi khá mơ hồ nhưng nghiêm trọng trong Scala trên Windows . Tôi đã gửi những phát hiện của mình cho trình theo dõi lỗi và vấn đề đã được khắc phục khá nhanh. Trong trường hợp đó, các nhà phát triển ngôn ngữ đủ thông minh để đưa một ghi chú hữu ích vào đầu ra nhật ký lỗi, cho thấy rằng những gì tôi gặp phải trên thực tế là lỗi trình biên dịch và cho biết nơi gửi báo cáo.

Theo cách nói của giáo dân:

Tất cả các chương trình có thể có lỗi.

Trình biên dịch là chương trình.

Ergo, trình biên dịch có thể có lỗi.

Có thể có lỗi ngay cả trong phần cứng; một ví dụ nổi tiếng là lỗi Pentium FDIV . Không còn nghi ngờ gì nữa, có khả năng trình biên dịch chứa lỗi.

Trình biên dịch và trình thông dịch cũng là phần mềm và do đó chúng không có bất kỳ vấn đề nào của phần mềm khác.

Đây là một ví dụ từ một trình biên dịch gần đây như MSVC 11 (2012) và đây là một bài viết về cách họ kiểm tra phụ trợ .

Tất nhiên, vì trình biên dịch là phần mềm.

Vào năm 2005, tôi đã có một đoạn mã bị lỗi trong một phần mềm cực kỳ quan trọng mà tôi đã viết cho một công ty lớn. Vì chi phí của công ty là hàng triệu đô la để cải chính, nên tất nhiên họ đã mở một cuộc điều tra lớn.

Rất may (theo quan điểm của tôi), vấn đề hóa ra là vấn đề biên dịch trong Delphi. Trong khối thử cuối cùng, giá trị trả về của hàm đã bị hủy và dẫn đến kết quả hoàn toàn ngẫu nhiên trở lại cho người gọi. Điều này đã được ghi nhận và thừa nhận bởi Borland.

.NET nổi tiếng là có hàng trăm rò rỉ bộ nhớ khác nhau, đặc biệt là trong các lần triển khai đầu tiên.

Tôi sẽ tranh luận rằng không có thứ gọi là phần mềm không có lỗi. Trình biên dịch cũng không ngoại lệ. Mặc dù vậy, chúng được kiểm tra kỹ lưỡng hơn hầu hết các phần mềm kinh doanh và được sử dụng bởi những người thông minh, quan trọng, hay tranh cãi, vì vậy, hồ sơ theo dõi của họ thực sự, về tổng thể, là khá tốt.

Không chỉ lỗi, mà còn cố tình phần mềm độc hại.

Các trojan "đăng nhập" được Brian Kernighan triển khai cho trình biên dịch Unix C ban đầu là phần nổi tiếng nhất trong số này; bài viết http://cm.bell-labs.com/who/ken/trust.html có một số nền tảng về điều này.

Tất nhiên, giống như bất kỳ trình biên dịch phần mềm nào cũng có lỗi, ví dụ như danh sách lỗi gcc có ở đây

Vâng.

Ngoài ra, không chỉ với trình biên dịch, mà còn với Trình thông dịch / trình gỡ lỗi và bất kỳ công cụ phần mềm bên thứ 3 nào.

Chúng tôi hiện đang sử dụng một số phần mềm của bên thứ 3 và đã gặp phải một số vấn đề. Đôi khi họ cảm ơn chúng tôi, vì đã tìm và báo cáo lỗi. :)

Một số trong số họ cũng có một số rò rỉ bộ nhớ, dẫn đến sụp đổ. Câu hỏi quan trọng ở đây có thể là, làm thế nào để xác định xem công cụ của bên thứ 3 hoặc trình biên dịch có lỗi để ứng dụng của bạn hoạt động chính xác không?

Trình biên dịch là một chương trình đọc một chương trình được viết bằng một ngôn ngữ (ngôn ngữ nguồn) và dịch nó sang một chương trình tương đương khác bằng ngôn ngữ khác (ngôn ngữ đích), chủ yếu là ngôn ngữ máy.

Có các giai đoạn khác nhau của trình biên dịch thông qua đó mã ngôn ngữ nguồn của bạn được quét theo từng dòng. Có một bảng biểu tượng theo dõi tất cả các Từ khóa được quét trong mã ngôn ngữ nguồn.

Giai đoạn 1: Trình phân tích từ vựng - đọc tất cả các ký tự trong chương trình nguồn và hình thành sự phân tách logic của các mã thông báo (int, char, float, if-other, for, while, v.v.)

Giai đoạn 2: Phân tích cú pháp - phân tích cấu trúc của dòng mã thông báo. Phân tích cú pháp phân cấp các biểu thức bao gồm hậu tố / tiền tố, v.v. (a = b + c * d)

Giai đoạn 3: Trình phân tích ngữ nghĩa - Kiểm tra loại mã thông báo (số nguyên thành số thực, số dư, v.v.) và nhiều thứ như ưu tiên toán tử, v.v.

Giai đoạn 4: Trình tạo mã trung gian - a = b + c * de (temp1 = c * d, temp2 = temp1 + b, temp3 = temp2-e)

Giai đoạn 5: Tối ưu hóa mã - Phân tích khác nhau (luồng điều khiển, luồng dữ liệu, biến đổi)
tạo ra: Mã dự phòng, propogation hằng, mã chết một phần, biểu thức con chung, mã bất biến vòng lặp

Giai đoạn 6: Tạo mã - Tạo mã mục tiêu (Chủ yếu là ngôn ngữ hội) đưa các giá trị vào các thanh ghi

Tất cả các giai đoạn này không có gì ngoài các chương trình được viết tốt và có thể có N số lỗ hổng trong đó ..

Tất nhiên, trình biên dịch chỉ là chương trình và tác giả của chúng cũng là kẻ ngốc :). Ngay cả đặc tả ngôn ngữ có thể có một lỗi. Thí dụ: c # + foreach + lambda .

Hoặc trong Python, lỗi trong trình thông dịch: Biên dịch trình thông dịch lỗi ast ast .

Chà, nếu bạn muốn xem xét các lỗi trong trình biên dịch / interpeter -> hãy xem php. Có một lỗi nổi tiếng với tràn số nguyên. Sửa chữa đầu tiên bắt đầu từ if (size > INT_MAX) return NULL;. Tiếp tục câu chuyện .