Có công cụ Semantic Diff hoạt động cho C++ không?

Question

Tôi chỉ tìm thấy các dự án, lý thuyết và danh sách tính năng bị bỏ rơi. Nhưng tôi không thể tìm thấy một công cụ có thể so sánh hai tệp nguồn C++ và cho thấy sự khác biệt ngữ nghĩa.

Tất nhiên tôi sẽ không so sánh hai tệp không liên quan hoặc thay đổi được tích luỹ trong suốt 10 năm phát triển và bảo trì. Nhưng các thay đổi thường được thảo luận tại một đánh giá mã sẽ được hiểu dễ dàng hơn, nếu được trình bày cùng với ý nghĩa thích hợp, thay vì các thay đổi văn bản ở cấp độ char/word/line

Answer 1

Không thể nói chung. Một chương trình thậm chí không thể biết liệu một chương trình khác có chấm dứt (số Halting Problem) nổi tiếng hay không. Đối với các chương trình hạn chế hơn (vòng kết nối hữu hạn, và có thể là các ràng buộc khác) bạn có thể làm nhiều hơn, nhưng đó là công việc nặng nhọc, và ngôn ngữ sẽ phải là, không phải C++ nhưng ít phức tạp hơn, một tập con giới hạn hoặc một ngôn ngữ đơn giản hơn. Đó có lẽ là lý do tại sao bạn không tìm thấy gì hơn là bắt đầu.

Answer 2

Có, nó được gọi là "viết nhận xét cho cam kết" và "theo dõi vấn đề". Hãy xem xét nó siêu dữ liệu cho phân tích ngữ nghĩa.

Answer 3

"Sự khác biệt ngữ nghĩa" thực sự là không thể. Closer sẽ là một công cụ so sánh hai tệp nguồn để xem cách một tệp được bắt nguồn từ các tác vụ chỉnh sửa trừu tượng (xóa, sao chép, di chuyển, đổi tên) trên cấu trúc chương trình (biến, biểu thức, câu lệnh, phương thức). Xem Smart Differencer của chúng tôi để biết công cụ thực hiện điều này cho một vài ngôn ngữ, với C++ sắp có.

tháng 3 năm 2013: Các phương ngữ GCC/MS của C++ 11 được hỗ trợ.

Answer 4

Có một cho C được các nhà phát triển hạt nhân Linux sử dụng. Không cho C++ mặc dù

http://coccinelle.lip6.fr