Polyspace是一款 由Mathworks开发的代码静态检查工具，主要用于检测软件在运行时可能出现的错误，如算术溢出、缓冲区溢出等。它特别适用于车企常用的MISRA C标准检查，并且完全免费，因此深受车企的喜爱。

Polyspace提供两个主要软件产品：

Polyspace Bug Finder：

用于识别嵌入式软件C和C++代码中的运行时错误、并发问题、安全漏洞和其他缺陷。它通过静态分析，包括语义分析，来检查软件控制流、数据流和过程间行为，帮助开发者在开发过程的早期阶段发现和修复错误。

Polyspace Code Prover：

专注于验证C、C++和Ada代码语句，识别数百个C/C++代码漏洞，并检查编码规则，包括MISRA C™ 2012、AUTOSAR C++14、CERT® C/C++等。

Polyspace可以集成到开发环境中，例如作为IDE插件（如Polyspace as You Code），支持开发人员在提交代码进行集成之前检测代码合规性偏差、软件缺陷和安全漏洞。此外，它还提供了一个Web界面，以便查看由Polyspace Bug Finder Server生成的分析结果。

总的来说，Polyspace是一款功能强大的代码静态分析工具，能够帮助开发者在软件开发过程中及时发现和修复潜在的错误和缺陷，提高软件的安全性和可靠性。