Polyspace Code Prover Server

Polyspace Code Prover Server は CI パイプラインに統合し、C/C++ コードにおけるオーバーフロー、ゼロ除算、範囲外の配列アクセスなどの特定のランタイムエラーの有無を確認できます。また、制御やデータフローに関する解析結果を提供し、タスク (スレッド) 間で共有される共有メモリへの同時アクセスの正当性も検証できます。

Polyspace Code Prover Server は、抽象解釈と形式的手法に基づく静的解析を使用し、コードの実行、インストルメンテーションの追加、テストケースの作成を必要とせずに結果を提供します。結果は Polyspace Access にアップロードして共同作業や品質傾向の追跡を行うことができ、CI 品質ゲートに適した機械可読な形式でエクスポートできます。手動で作成したコード、あるいはSimulink や AI アシスタントから生成したコードなど、あらゆる C/C++ コードの組み合わせを解析できます。

業界標準のサポートは、IEC Certification Kit (for IEC 61508 and ISO 26262) および DO Qualification Kit (for DO-178) により対応しています。