Polyspace^®Bug Finder™C+ c ++组み込み组み込みソフトウェアランタイム実行の问题，セキュリティの脆弱性などのの欠陥ますししますますpolyspace错误查找器ではセマンティクスなど静的を使用して，ソフトウェアデータデータフローフロー，，およびおよびおよび手続き手続き间の动作动作をを解析解析ししますます。。欠陥欠陥をを検出検出検出検出してに强调强调强调强调重大度顺位し，を行うことができます。

polyspace错误查找器はmisra c^®misra c ++，jsf ++，，，规则などコーディングルールルールの准拠准拠をチェックチェックします。検出したたバグやコードコードルールルール违反，，および的度度度度度度などなどなどなどなどなどなどなどpolyspace错误查找器Eclipse™IDEとともにとともにしてシステム统合でき。。

自动生成さたコードについては，，，，，のののの结果をををを金宝app^®モデルおよびdspace^®TargetLink^®ブロックまでて追迹でき。。

IEC认证套件（ISO 26262とIEC61508用）