Công cụ phân tích mã tĩnh C++ trên Windows

Question

Công cụ phân tích mã tĩnh nào của C++ mà bạn biết về sự phát triển của Microsoft Windows và những tính năng chính nào mà nó cung cấp?

Vui lòng nêu rõ liệu một công cụ cụ thể có dựa trên Cygwin hay không và liệu FOSS của nó, miễn phí hay yêu cầu mua hàng.

Câu hỏi tương tự:What open source C++ static analysis tools are available?

Dưới đây là tóm tắt của nhà nước hiện hành:

1. PreFAST tìm thấy trong Windows Driver Kit
2. Cppcheck
3. Coverity
4. PVS-Studio
5. Oink
6. Klocwork Insight
7. PC-Lint
8. CppDepend
9. Goanna
10. Sentry
11. Visual Studio Team System
12. Understand
13. cccc
14. Cqual++
15. Flawfinder
16. DMS Software Reengineering Toolkit
17. Vera ++
18. Source Monitor
19. Stack (mã nguồn tại github)

Answer 1

Flawfinder

Answer 2

Visual Studio Team System hiện có các công cụ phân tích mã (mặc dù VSTT khá đắt).

Answer 3

PC-Lint có một chút phân tích tĩnh hợp lý.

Answer 4

Chúng tôi sử dụng Coverity. Nó không phải là miễn phí bởi một longshot, nhưng Windows là một plaform được hỗ trợ.

Answer 5

Nếu bạn chạy VC2008 (Phiên bản Express là miễn phí) và sau đó cài đặt Windows SDK mới nhất, bạn có thể nhận được các công cụ phân tích mã PREFAST tương tự thường chỉ có trong VSTT. Nếu bạn đã sử dụng Visual Studio thì đây là một cách tuyệt vời để đi, nếu bạn đang sử dụng GCC hoặc một số trình biên dịch khác cho Win32, bạn sẽ cần phải tìm ở nơi khác.

Answer 6

Tôi cũng nghe nói rằng Oink là tốt.

Answer 7

Tôi đã sử dụng giám sát nguồn trong nhiều năm. một số điều tuyệt vời. Phần tốt nhất là nó là miễn phí.

Kiểm tra các Trang chủ của cho màn nguồn ở đây: Source Monitor

Answer 8

Hai năm trước, tôi đã sử dụng Scitools' Understand. Nó là di động (ít nhất là kết hợp Windows-Linux mà chúng tôi sử dụng) và có hỗ trợ cho nhiều ngôn ngữ. Có thể rất tốt rằng đó không phải là những gì bạn đang mặc dù ...

Điều gì sẽ thú vị là nó là khá phải chăng, và sự hỗ trợ là ấn tượng, vấn đề và câu hỏi thường xuyên hơn không giải quyết cùng ngày.

Answer 9

Tôi sử dụng PC-Lint để xem xét mã tĩnh!

Answer 10

Cppcheck là nguồn mở và nền tảng chéo.

Answer 11

Klocwork "Thông tin chi tiết" khác, nhưng không miễn phí. Tôi cũng đã sử dụng Coverity "Ngăn chặn". Cả hai đều là sản phẩm rất tốt nếu bạn không nhớ chi phí.

Answer 12

Tôi nghĩ rằng những phân tích tĩnh 3 opensource là ấn tượng:

• Cppcheck - Dễ dàng với giao diện gui. Kiểm tra các tiêu chuẩn mã hóa và các vấn đề quan trọng khác.

• cccc - kết quả đầu ra các số liệu mã hóa, như không có dòng mã, mã chỉ số phức tạp, bình luận đếm, vv

• Cqual++ - Mục tiêu của Cqual ++ là để tìm lỗi dataflow dòng chảy-insensitive . (Bạn phải xây dựng công cụ này từ nguồn)

Câu hỏi của tôi là: tôi có thể thêm tiêu chuẩn mã hóa tùy chỉnh không? Có bất kỳ công cụ mở nào hỗ trợ việc bổ sung các tiêu chuẩn mã hóa tùy chỉnh không?

Answer 13

DMS Software Reengineering Toolkit xử lý variety of C++ dialects including C++11.

Phiên bản được định cấu hình sẵn có thể lấy được bằng duplicated code detector (nhái chính xác hoặc gần nhỡ), nhưng thường DMS được thiết kế để tùy chỉnh để thực hiện phân tích bạn muốn.

DMS là gói thương mại.

EDIT Có, bạn có thể mã phân tích tùy chỉnh của riêng bạn hoặc kiểm tra kiểu.

Answer 14

Vera ++ cũng cho phép để kiểm tra tiêu chuẩn mã hóa tùy chỉnh thông qua các kịch bản ...

Answer 15

Tôi là một trong các nhà phát triển cho một Visual Studio C/C++ công cụ phân tích tĩnh gọi Goanna. Cái này tốn tiền (có bản dùng thử miễn phí), nhưng tôi muốn nghĩ nó tốt.

Answer 16

Bạn có thể kiểm tra công cụ CppDepend, phiên bản Pro không miễn phí nhưng phiên bản dùng thử có thể đủ cho nhiều nhu cầu.