C/C++ miễn phí thay thế cho Lint?

Question

Tôi quan tâm đến một công cụ miễn phí có thể kiểm tra tĩnh mã C++ của tôi như Lint. Bất kỳ gợi ý nào?

Answer 1

Hãy thử cppcheck, tìm thấy ở đây: http://cppcheck.sourceforge.net/

Dưới đây là một mẫu của một số kiểm tra nó có thể thực hiện hoặc mà tôi đã sử dụng nó cho:

• chỉ số mảng nằm ngoài giới hạn
• Memory/rò rỉ tài nguyên
• Mới/xóa không chính xác
• Thất bại trong việc đặt các trình phá hủy ảo trên lớp dẫn xuất
• phân bổ mismatching và deallocation
• deallocating một con trỏ deallocated
• Sử dụng biến sau khi được deallocated/phát hành
• Kích sai lệch
• radix không hợp lệ trong cuộc gọi đến strtol hoặc strtoul
• chồng chéo bộ đệm dữ liệu
• Unsigned phân chia; Kết quả có thể sai
• con trỏ bất thường số học
• Trở con trỏ đến biến mảng địa phương
• Cùng iterator được sử dụng với hai container
• sử dụng nguy hiểm của erase
• Sau pushback hoặc pushfront, iterator thể không hợp lệ
• Lỗi tràn bộ đệm
• Sử dụng nguy hiểm strncat, có thể tràn bộ đệm

Answer 2

splint?

Answer 3

Có lẽ một danh sách như thế này là những gì bạn đang tìm kiếm:

http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis

Dường như bạn sẽ nhận được nhiều nhất sử dụng ra khỏi Splint hoặc Uno.

Answer 4

Bạn có thể muốn kiểm tra dự án này:

• Vera++ dựa trên người dùng định nghĩa quy tắc (viết bằng Tcl, Python, hoặc Lua)

Và vài không được tự do người:

• QAC++
• Coverity
• Klocwork
• Abraxas CodeCheck - nghe ý kiến ​​khác nhau ...

Answer 5

Gần đây tôi đã đọc về DeHydra và Pork được Mozilla sử dụng, mặc dù tôi chưa tự mình thử.

Answer 6

Hãy thử nsiqcppstyle, trình kiểm tra kiểu C++ được viết bằng python.

Answer 7

Cá nhân tôi đã thử cppcheck (v1.4) và thấy nó vô vọng.

ví dụ: Ví dụ này đã được phát hiện một cách chính xác cho mảng nằm ngoài giới hạn:

int a[4]; 
for (int n = 0; n < 5; n++) 
{ 
    a[n] = n; 
} 

Nhưng ví dụ này đã không được phát hiện:

int a[4]; 
int z = 4 + 1; 

for (int n = 0; n < z; n++) 
{ 
    a[n] = n; 
} 

Answer 8

Một công cụ cho danh sách: Google cpplint.py, mà dẫn mentions ++ kiểu C của Google. Nó rất cụ thể cho Google, nhưng dù sao đi nữa.