Polyspace Code Prover Server™. Polyspace程式碼驗證伺服器

Introduction

Polyspace CodeProver Server™是一種聲頻靜態分析引擎，可以證明C和C ++程式碼中沒有溢出，被零除，越界，陣列存取和某些其他執行時的錯誤。 它對所有可能的控制和資料流程（包括多線程式碼）執行程序間分析，判定每個操作狀態，這些狀態包含: 總是安全，有故障狀況，無法存取或易受攻擊。

Polyspace Code Prover Server可標出沒有錯誤的程式碼段落，同時辨別執行錯誤、失誤，無法存取或未經驗證的程式碼。

Polyspace Code Prover Server可以在伺服器層級硬體上執行，可與，使用Jenkins等工具進行自動驗證的內建和持續整合系統進行協作整合。 分析結果可以發佈到Polyspace Code Prover Access™以進行分級和分解。