Cppcheck là một công cụ phân tích tĩnh dành cho mã nguồn C/C++, được thiết kế để xác định lỗi, hành vi không xác định (undefined behavior) và những thực hành lập trình có thể gây nguy hiểm. Các tính năng và mục tiêu chính của nó là:
Phát Hiện Vấn Đề Phức Tạp:
Tập trung vào các lỗi khó xác định trong các bài kiểm tra thông thường, như:
Rò rỉ bộ nhớ.
Truy cập không hợp lệ vào con trỏ.
Các điều kiện chưa được khởi tạo hoặc không xác định.
Vi phạm giới hạn của mảng.
Tỷ Lệ Dương Tính Thấp:
Ưu tiên độ chính xác, giảm thiểu cảnh báo không liên quan để không làm quá tải các lập trình viên.
Hỗ Trợ Cú Pháp Không Chuẩn:
Phân tích mã với các phần mở rộng cụ thể của trình biên dịch hoặc các thực hành thông thường trong các dự án nhúng, nơi mà tính linh hoạt là rất quan trọng.
Tích Hợp và Tùy Chỉnh:
Có thể được sử dụng qua dòng lệnh, tích hợp vào các IDE (như Visual Studio hoặc Eclipse) hoặc trong các pipeline CI/CD. Cho phép tạo ra các quy tắc tùy chỉnh.
Phân Tích Đa Luồng:
Cung cấp các tùy chọn để tăng tốc quá trình kiểm tra trong các dự án lớn.