Polyspace Bug Finder Server. Polyspace查錯器伺服器
Introduction
Polyspace BugFinder Server™是一種靜態分析引擎，可辨識C和C ++中的常見錯誤類別，包括執行期間錯誤，併發問題和其他撰寫程式的缺陷。Polyspace Bug Finder Server還可檢查原始程式碼是否符合程式碼規範（MISRA C，MISRA C ++，JSF ++），安全規範（CWE，CERT-C，CERT-C ++，ISO / IEC 17961）和其他自定義的規則。
使用Polyspace Bug Finder Server，您可以監控在專案、檔案和函式層級的程式碼指標，這些指標包含: 迴路複雜性，Stack空間使用情況和HIS指標。 您可以將伺服器配置為與各種編譯器，目標處理器和RTOS環境一起使用，並使用Jenkins等工具自動執行連續整合系統。程式碼分析的結果可發佈到Polyspace BugFinder Access™以進行分類和分解。透過(IEC安全驗證套裝組（適用於IEC 61508和ISO 26262）和DO品質驗證套裝組（適用於DO-178）可提供對業界標準的支援。