Polyspace Polyspace是靜態程序分析的工具利用抽象释义的方式進行大規模的分析可以偵測C語言C或是Ada程式的原始碼中是否有特定類型的執行期錯誤或是證明沒有這類的錯誤此工具也可以檢查原始碼是否符合特定的代碼標準如MISRA CC SEI CERT CCCWE JSF AV C AUTOSAR C