Polyspace错误查找程序™は，CおよびC ++组み込みソフトウェアのランタイムエラー，同时実行の问题，セキュリティ脆弱性およびその他の欠陥を特定します.Polyspace错误查找程序はセマンティック解析を含む静的解析を使用して，ソフトウェアの制御，データフローおよび手続き间の动作を解析します。欠陥を検出して直ちに强调表示することにより，开発プロセスの初期段阶でバグを重大度により顺位付けし，修正することができます。

Polyspace Bug的搜索は，MISRA C^®，MISRA C ++，JSF ++，CERT^®C，CERT^®C ++，およびカスタム命名规则などのコーディングルール规约への准拠をチェックします。また，検出されたバグ，コードルール违反および循环的复雑度などのコード品质メトリクスが含まれるレポートを生成します.Polyspace错误取景器をEclipse™的IDEとともに使用して，デスクトップのコードを解析できます。

自动的に生成されたコードの场合，Polyspaceによる解析结果を的S万博1manbetximulink^®モデルおよび的dSPACE^®TargetLink的^®ブロックまで遡って追迹することができます。

IEC认证工具包（ISO 26262およびIEC 61508用）およびDO资格套件（DO-178用）を通じて，业界标准のサポートが可能です。

详细を见る：