Perforce cung cấp phiên bản mới nhất của Helix QAC

Perforce Software đã công bố tính khả dụng chung của phiên bản mới nhất của giải pháp phân tích mã tĩnh, Helix QAC.

Với bản phát hành mới nhất, Helix QAC hiện có thể cung cấp phạm vi bảo hiểm hoàn chỉnh các quy tắc CERT C ++. Điều này cung cấp cho các nhóm phát triển làm việc trong các ngành công nghiệp quan trọng về an toàn và được quản lý chặt chẽ - bao gồm ô tô, hàng không vũ trụ và quốc phòng, thiết bị y tế và đường sắt - với khả năng bảo mật phần mềm cao hơn.

Cải tiến này đặc biệt quan trọng đối với ngành công nghiệp ô tô vì Helix QAC được nhiều người coi là công cụ phân tích mã tĩnh trên thực tế để tuân thủ các tiêu chuẩn và an toàn chức năng, đặc biệt là tuân thủ MISRA và AUTOSAR C ++ 14. Với phạm vi bảo hiểm CERT C ++ hoàn chỉnh.

Ngoài phạm vi quy tắc CERT C ++ hoàn chỉnh, bản phát hành mới nhất mở rộng phạm vi tuân thủ cho các tiêu chuẩn sau:

• 100% các quy tắc CERT C.
• 100% phạm vi quy tắc CERT C POSIX.
• 100% MISRA C: 2012 bao gồm phạm vi bảo hiểm của Tu chính án 2.
• 98% ISO / IEC TS 17961 (C Secure) phạm vi bao phủ.
• 91% AUTOSAR C ++ 14 bao phủ.

Trong khi Helix QAC đã nổi tiếng với khả năng phân tích sâu và chính xác cao về ngôn ngữ lập trình C và C ++, Perforce nói rằng những cải tiến này sẽ giúp củng cố công cụ phân tích mã tĩnh này như một trong những giải pháp kiểm tra toàn diện chính xác và chính xác nhất cho chức năng an toàn, tuân thủ các tiêu chuẩn và truy xuất nguồn gốc tuân thủ trên tất cả các nhóm phát triển phần mềm nhúng làm việc trong các ngành được quản lý chặt chẽ và quan trọng về an toàn.