Polyspace Access 使软件工程团队能够在整个软件开发生命周期中检查其代码质量。其中包括了 Polyspace as You Code，一个 IDE 插件。它支持开发人员在提交代码进行集成之前检测代码合规性偏差、软件缺陷和安全漏洞。它还支持访问 Web 界面，以查看由 Polyspace Bug Finder Server 和 Polyspace Code Prover Server 生成的集成源代码的静态代码分析结果。
您可以使用 Polyspace as You Code 来检测关键缺陷和安全漏洞，并检查代码是否符合编码规则标准，如 MISRA C®、MISRA C++、AUTOSAR C++14、CERT® C、CERT C++，以及自定义命名约定。作为开发人员使用的 IDE（如 Visual Studio®、Visual Studio Code 或 Eclipse™）的插件，Polyspace as You Code 可在源代码视图中报告结果。当连接到 Polyspace Access 中央存储库时，它还可以将结果与开发基线比较并只突出显示新问题。
Web 界面让开发人员和质量工程师能够就静态代码分析结果跨项目协作。从项目控制板到查找细节，团队成员可以监控质量趋势，并分析、审核软件漏洞、代码指标、关键运行时错误以及对编码标准的遵守情况，然后指定其负责人。与 JIRA 等项目管理工具的集成支持团队就代码质量进行协作。Polyspace Access 包括在本地托管或位于云端的中央存储库，它可与 LDAP 等身份验证系统集成在一起，以控制对项目数据的访问。
在您的 IDE 中识别 Bug
在 Visual Studio®、Visual Studio Code 或 Eclipse 等 IDE 中，借助 Polyspace as You Code 插件在编写或修改代码的同时识别 Bug。使用 API 集成到其他 IDE 和编辑器中。
与您的软件工厂集成
将 Polyspace Access 集成到您的软件开发基础架构中，通过静态代码分析结果来为持续集成管道把关，并将代码验证结果与您的 Bug 跟踪工具和应用程序生命周期管理 (ALM) 链接起来。在本地或云中安装并运行 Polyspace Access Web 服务器，使其靠近您的工具链部署。
产品资源：
Polyspace 产品系列
Polyspace 产品通过在整个开发生命周期中测试和监控软件质量来保证关键代码的安全。
Polyspace Access
识别编码缺陷，查看静态分析结果，并监控软件质量指标
Polyspace Code Prover Server
证明软件中不存在运行时错误
Polyspace Bug Finder
运用静态分析找出软件 Bug
Polyspace Test
开发、管理和执行嵌入式系统中 C 和 C++ 代码的测试
Polyspace Bug Finder Server
通过在服务器上运行的静态分析识别软件缺陷
Polyspace Client for Ada
证明源代码中不存在运行时错误
Polyspace Code Prover
证明软件中不存在运行时错误
Polyspace Server for Ada
在计算机集群上执行代码验证并发布指标
