Error），像是算术溢出、缓冲区溢出、除以零、矩阵index溢位以及其他可能发生的错误。软体开发者以及品质保证主管可以用这些资讯来识别程式中某一部份可能有错，或者证实是可靠的。程式码的其他部份会标示为尚未证明的部份，可以再个别进行代码评审。像MISRA C之类的程式码标准及指南会试着提昇程式的品质、可携性及可靠度。Polyspace会确认C及C++的原始码是否符合这些程式码标准中的特定一部份规则。
其他功能.Polyspace产品系列也包括了Polyspace Bug Fin