PolySpace Client for C/C++ 7.2

PolySpace Client™ for C/C++ は、PolySpace Server™ for C/C++ と連携し、コードに基づく検証により、オーバーフロー、ゼロ除算、配列の領域外へのアクセスや、その他の実行時エラーがソースコードに存在しないことを証明します。コードの検証には抽象解釈の理論を応用し、プログラムの実行、コードのインスツルメンテーション、テストケースを必要とせず、手書きコード、生成コード、または、それらの組み合わせのコードをコンパイルおよびテスト前に検証できます。