C++, SEI CERT C++, JSF AV C++, AUTOSAR C++)。
常见用法.Polyspace可以检查原始码，确认是否有潜在的执行期错误RTE（Run Time Error），像是算术溢出、缓冲区溢出、除以零、矩阵index溢位以及其他可能发生的错误。软体开发者以及品质保证主管可以用这些资讯来识别程式中某一部份可能有错，或者证实是可靠的。程式码的其他部份会标示为尚未证明的部份，可以再个别进行代码评审。像MISRA C之类的程式码标准及指南会试着提昇程式的