Polyspace Bug Finder. Polyspace程式碼查錯器
Introduction
Polyspace程式碼查錯器(Polyspace Bug Finder)，可標識出原始程式碼中執行階段錯誤(run-time)、資料溢出(data flow)問題以及其他在C及C++嵌入式軟體中的錯誤及缺陷。透過使用靜態程式碼分析(Static code analysis)方式，Polyspace程式碼查錯器能分析軟體控制、資料溢出以及跨階段行為的錯誤檢測，協助在開發流程的早期及早分散及修正錯誤。Polyspace程式碼查錯器檢測的方法是遵照程式碼編碼的標準，如MISRA-C, MISRA-C++, JSF++，以及其他習以常使用的程式碼規則來進行檢測，隨後產生結果報表，報表中會標識出所發現的錯誤(bugs)、違反編碼規則(code-rule violations)以及程式碼品質陣列如循環複雜度(cyclomatic complexity)等。Polyspace程式碼查錯器可以搭配Eclipse™ IDE使用，並與其他現有環境系統相整合。
就自動產生程式碼來說，Polyspace的結果可被追溯回到Simulink的模型、dSPACE® TargetLink® blocks, and IBM® Rational® Rhapsody® 圖表。
Polyspace程式碼查錯器支援產業標準，包括IEC安全驗證套裝組( IEC Certification Kit (for IEC 61508 and ISO 26262)) 和DO品質驗證套裝組(DO Qualification Kit (for DO-178))，現在也支援Ada語言以及 MISRA C:2012。