臭虫查找器

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

Polyspace Bug Finder.は，屠杀^®，臭臭^®C ++，JSF^®++，カスタム命名单规则のののコーディングへへの准拠をチェックますますますますたたバグやコードルールルール违反违反违反的复雑度などのコードコードメトリクスからから度さコードメトリクスから构ささメトリクスからからししをメトリクスからからししをメトリクスからししPolyspace Bug Finder.は，eclipse™IDEと共にと共に使しててビルドににできできできできできできできできできできできできできできできできできできでき

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

Bug Finderのの全 たとえば，以下がます。 解析解析设定。 検证结果のレビューとレポート生成。	解析オプション（Polyspacebug Finder.） たとえば，以下がますますを前しする。 ターゲットおよびコンパイラオプション。 调查调查欠陥。	検证结果（Polyspace Bug Finder.） たとえば，以下がますたとえば确认から取得する検证结果を确认します。 欠陥。 コーディングルール。	リリースノート（Polyspace Bug Finder.） 各各の新机能确认します。

Polyspace Bug FinderまたはPolySpace代码箴言ののも参照してください。

代码箴言

PolySpace Code Prover™は安定性の高度静的解析ツールで，cおよびc ++ソースコード内のフロー，ゼロ除算，配列配列范囲范囲のおよびおよび他のランタイムのがががささます。ケースケースを必要とするすること，结果が生成さます。PolySpace代码箴言では，セマンティクスの解析および形式的手法にづく抽象的な解釈使解釈解釈さされ，ソフトウェアの手続き间のの，制御制御，およびおよびの动词がされ。また，手书ます。また，手书きコード，生成されコードまたはその2つの综合わせ検证に使使ますます。各コードステートメントは色ますされ，ランタイムエラーなし，エラーエラー证明，到达不统，または未证明のいずれであることが示されます。

PolySpace代码箴言では，変数および关键词値の范囲情情情れ，指定された范囲を値超えたた変を证検证のをを使使ををををを使使使ををを使使ててメトリクスを追迹追迹しててメトリクスを追迹ししてメトリクスメトリクスを追迹ししてメトリクスメトリクスを追迹しててメトリクスメトリクスを追迹しをチェックできます。PolySpace代码箴言はEclipse IDEと共にと共に使用して，デスクトップ上でコードを検证でき。

代码箴言のの全 たとえば，以下がます。 解析解析设定。 検证结果のレビューとレポート生成。	解析オプション（PolySpace代码箴言） たとえば，以下がますますを前しする。 ターゲットおよびコンパイラオプション。 検证の前提条件に关键词。	検证结果（PolySpace代码箴言） たとえば，以下がますたとえば确认から取得する検证结果を确认します。 実行时チェック。 グローバル驰数量用。	リリースノート（PolySpace代码箴言） 各各の新机能确认します。

Polyspace Bug FinderまたはPolySpace代码箴言ののも参照してください。

その他の波尔盖斯制品

その他のPolyspace制品には次が含まれます。

このこのは网页またはまたは制品で参照できますます。