Công cụ nào tồn tại để so sánh mã C++ với các nguyên tắc mã hóa?

Question

Có các công cụ để so sánh mã với một bộ quy tắc/tiêu chuẩn mã hóa được chỉ định tùy chỉnh cho nhiều ngôn ngữ khác nhau (thay vì phân tích tĩnh thuần túy cho các lỗi phổ biến). Các ví dụ bao gồm FxCop cho mã .Net và CheckStyle cho Java, nhưng tôi đã tự hỏi những ví dụ mà mọi người biết trong thế giới C++.

An existing question was asked regarding free tools cung cấp ví dụ như Vera nhưng tôi cũng tự hỏi về các công cụ thương mại có thể có sẵn.

Answer 1

Danh sách đầy đủ mà tôi quản lý để tạo ra:

• PRQA's QA C++
• Parasoft's C++Test
• MS Visual Studio Team System dường như có một số chức năng nhưng thật khó để nói qua trang web của họ.
• GrammaTech CodeSonar
• Coverity Extend

cuối cùng hai cung cấp một số chức năng nhưng những người không đặc biệt tùy biến:

• Klocwork Insight
• Rational PurifyPlus

Answer 2

astyle là công cụ Unix phổ biến giúp định dạng lại nguồn thành kiểu được chỉ định. Nó hỗ trợ hầu hết các ngôn ngữ giống như C. Tôi biết không có công cụ thương mại tương tự.

Answer 3

Tôi cũng tự hỏi về các công cụ thương mại có thể có sẵn.

Visual Studio Team System Edition 2005/2008 có một số nội dung như vậy. Họ cũng có một cơ sở để thực thi một bộ quy tắc cho cả một nhóm. Kiểm tra nó ra.

Answer 4

Công cụ được chúng tôi sử dụng là CodeWizard từ Parasoft. Nhưng tôi nghĩ rằng phiên bản mới được gọi là "Parasoft C++ Test". Từ trang chủ:

• phân tích tĩnh của mã cho phù hợp với tiêu chuẩn do người dùng chọn mã hóa
• đồ họa RuleWizard biên tập để tạo tùy chỉnh mã hóa quy tắc
• tĩnh đường dẫn mã mô phỏng để xác định tiềm năng runtime lỗi
• Xem xét mã tự động với giao diện đồ họa và tiến trình theo dõi
• thế hệ tự động và thực hiện các đơn vị và thành phần cấp kiểm tra
• khuôn khổ còn sơ khai linh hoạt
• hỗ trợ đầy đủ cho các thử nghiệm hồi quy
phân tích bảo hiểm
• Mã với mã nổi bật
• Runtime lỗi bộ nhớ kiểm tra trong đơn vị kiểm tra thực hiện
• Cơ sở hạ tầng triển khai nhóm đầy đủ để sử dụng máy tính để bàn và dòng lệnh

Answer 5

KHUYẾN CÁO: Làm việc trên công cụ này là công việc ban ngày của tôi.

Tôi rõ ràng là thiên vị, nhưng một trong những tính năng chính của QA C++ là Coding Standard enforcement. Ví dụ, chúng tôi thực thi JSF ++ và MISRA C++. Bạn có thể đọc thêm về điều này here.

Answer 6

tôi làm không t biết liệu bạn đang tìm kiếm công cụ có quy tắc tích hợp hay muốn xác thực dựa trên các quy tắc tùy chỉnh của mình. Nếu đó là lần thứ hai, bạn có thể thấy hữu ích khi triển khai tìm kiếm các mẫu không mong muốn dựa trên regexp. Tùy thuộc vào nhu cầu của bạn, Metrix ++ http://metrixplusplus.sourceforge.net/ có thể cung cấp khung hữu ích.