PolySpace Server for C/C++ 7.2

PolySpace Server™ for C/C++ は、PolySpace Client™ for C/C++ と連携し、コードに基づく検証により、オーバーフロー、ゼロ除算、配列の領域外へのアクセスや、その他の実行時エラーがソースコードに存在しないことを証明します。PolySpace Server for C/C++ によるコンピュータクラスタ上での検証実行によって、コード検証の高速化が可能です。検証ジョブは PolySpace Client for C/C++ からサーバに送信され、結果をクライアントを使用してダウンロードし、表示します。