波尔盖斯^®bug finder™は，CおよびC ++组み込みソフトウェアにおけるランタイムエラー，同时実行の问题，セキュリティの脆弱性などの欠陥を特定します。Polyspace Bug Finder.では，セマンティクス解析などの静的解析を使使，ソフトウェア制御，データフロー，および手続きを検出して直ち直ちににことことによりによりによりによりによりによりによりによりによりによりによりによりによりによりによりによりことによりによりによりによりによりによりによりにより重大度により顺位し，修正を行うことができ。

Polyspace Bug Finder.は，屠杀^®，Misra C ++，JSF ++，CERT^®C，CERT C ++，カスタム命命などのコーディングルール规约への准拠ををチェックししますますたバグやコードルール违反违反.Polyspace Bug Finder.は，eclipse™IDEと共にデスクトップでのコード解析使使使使できます。

自动生成されコードコードは，Polyspaceのの検证结果simu金宝applink^®モデルおよびdspace.^®targetlink.^®ブロックまで遡って追迹ますます。

业主标准には，IEC认证套件（ISO 26262とIEC61508用）と做资格套件（DO-178用）によって対応しています。