Dự án Cppcheck đang gây quỹ để thực hiện các cải tiến.

Nhà phát triển Cppcheck (Daniel Marjamäki) sẽ bổ sung khả năng xác minh phần mềm bằng C và C++ vào máy phân tích tĩnh của mình.

Xác minh phần mềm trong Cppcheck

Ở chế độ "xác minh", Cppcheck sẽ đưa ra cảnh báo nếu không thể xác minh rằng mã đó an toàn, nhưng điều này có thể gây ra nhiễu (nhiều cảnh báo).

Kế hoạch thực hiện

Chế độ xác minh sẽ được thực hiện tuần tự. Ở giai đoạn đầu tiên, công việc sẽ tập trung vào phép chia bằng XNUMX. Đây là một kiểm tra tương đối đơn giản. Mỗi chức năng sẽ được kiểm tra riêng biệt. Giả định rằng tất cả dữ liệu đầu vào có thể có một giá trị tùy ý. Việc kiểm tra các loại hành vi không xác định khác sẽ được bổ sung sau. Ngoài ra còn có kế hoạch cải thiện khả năng phân tích cú pháp C và C++.

tăng tốc phát triển

Mục tiêu gây quỹ trên Kickstarter là đẩy nhanh sự phát triển của chế độ xác minh. Dù sao thì chúng tôi cũng dự định thêm tính năng này nhưng công việc có thể mất nhiều thời gian hơn nếu không huy động được vốn. Nếu số tiền được quyên góp, Daniel sẽ có thể nghỉ phép khỏi công việc chính của mình để dành toàn bộ thời gian làm việc của mình cho dự án cppcheck.

Mục tiêu của dự án

• Loại bỏ các kết quả âm tính giả khỏi phép chia cho các xét nghiệm XNUMX trong Juliet и ITC.

• Sửa các kết quả dương tính giả (xem. BUG # 9402).

• Cải thiện trình phân tích cú pháp C++.

Nguồn: linux.org.ru