Phát hành máy phân tích tĩnh cppcheck 2.1

Có sẵn bản phát hành mới của máy phân tích tĩnh miễn phí cppcheck 2.1, cho phép bạn xác định các loại lỗi khác nhau trong mã bằng ngôn ngữ C và C++, kể cả khi sử dụng cú pháp không chuẩn, điển hình cho các hệ thống nhúng. Một bộ sưu tập các plugin được cung cấp thông qua đó cppcheck được tích hợp với các hệ thống thử nghiệm, tích hợp và phát triển liên tục khác nhau, đồng thời cũng cung cấp các tính năng như проверка sự tuân thủ của mã với kiểu định dạng mã. Để phân tích mã, bạn có thể sử dụng trình phân tích cú pháp của riêng mình hoặc trình phân tích cú pháp bên ngoài từ Clang. Nó cũng bao gồm tập lệnh donate-cpu.py để cung cấp tài nguyên cục bộ nhằm thực hiện công việc đánh giá mã cộng tác cho các gói Debian. Nguồn dự án phân phối bởi được cấp phép theo GPLv3.

Sự phát triển của cppcheck tập trung vào việc xác định các vấn đề liên quan đến hành vi không xác định và việc sử dụng các thiết kế nguy hiểm theo quan điểm an toàn. Mục tiêu cũng là để giảm thiểu kết quả dương tính giả. Giữa xác định các vấn đề: con trỏ tới các đối tượng không tồn tại, chia cho 0, tràn số nguyên, thao tác dịch bit không chính xác, chuyển đổi không chính xác, vấn đề về bộ nhớ, sử dụng STL không chính xác, con trỏ null hội thảo, áp dụng kiểm tra sau khi truy cập thực tế vào bộ đệm, tràn bộ đệm, sử dụng các biến chưa được khởi tạo.

Nguồn: opennet.ru

Thêm một lời nhận xét