Polyspace是静态程序分析的工具，利用抽象释义的方式进行大规模的分析，可以侦测C语言、C++或是Ada程式的原始码中，是否有特定类型的执行期错误，或是证明没有这类的错误。此工具也可以检查原始码是否符合特定的代码标准(如MISRA C/C++, SEI CERT C++, JSF AV C++, AUTOSAR C++)。
常见用法.Polyspace可以检查原始码，确认是否有潜在的执行期错误RTE（Run Time Error），像是算术溢出、缓冲区溢出、除以零、矩阵inde