Công cụ như PVS-Studio để phân tích mã tĩnh trong các dự án C?

Question

Tôi đang tìm một số lựa chọn thay thế cho công cụ PVS-Studio, để chạy một số phân tích mã tĩnh trong các dự án C. Các bạn có bất kỳ đề nghị gì không?

Answer 1

Bạn không nêu những gì bạn cần, cũng không phải nền tảng (nick của bạn gợi ý linux), nhưng tôi sử dụng (d) những trong quá khứ với ảnh hưởng lớn trên mã của tôi:

• Cppcheck (lớn eclipse tích hợp plugin, cpp của nó nhưng Nó không thực sự ủng hộ C99 - plugin được gọi cppcheclipse)
• thưa thớt (có thể được inegrated vào nhật thực bằng cách sử dụng "công cụ bên ngoài")
• Splint (nhật thực CDT có plugin)
• Codan (phần bên trong của nhật thực toàn phần)
• Intel SSA (Tôi tin rằng điều này có thể được truy cập từ Intel Compaser hoặc phòng thu Parallel, cả hai đều cung cấp phi mậu dịch tự do như giấy phép và chính thức của Intel tích hợp eclipse plugin)

Tất cả những có thể được tích hợp cùng lúc vào nhật thực (sử dụng plugin, "chạy công cụ bên ngoài" ar nội bộ) và cung cấp thời gian thực kiểm tra và phân tích trong Eclipse CDT IDE cho linux pr ogrammers.

Nếu bạn muốn nhiều hơn, có bộ công cụ tuyệt vời alsa trong Frama-C.

Đây là những công cụ miễn phí tốt nhất (không nhất thiết phải là nguồn mở hoặc miễn phí cho mục đích thương mại) cho phân tích tĩnh mà tôi biết và chúng thực sự tạo ra sức mạnh tổng hợp tốt với nhật thực. Xin lỗi vì quảng cáo eclipse btw, ngoại trừ công cụ Codan, chúng có thể truy cập bằng các phương tiện khác (cppcheck cung cấp GUI đơn giản mà tôi tin, và những thứ khác đều có thể truy cập từ trình bao).

Answer 2

Bạn không đề cập đến những tính năng bạn đang tìm kiếm, nhưng bạn có thể xem Vigilant Sentry và xem liệu nó có đáp ứng nhu cầu của bạn hay không. Nó phân tích tĩnh các chương trình C và C++, và có một hệ thống plugin để phát triển các kiểm tra tùy chỉnh của riêng bạn.