GrammaTech CodeSonar与Wind River Workbench的集成，使软件开发人员能够在不离开Wind River Workbench开发环境的情况下，注释并解决CodeSonar强调的bug和软件漏洞，从而显著提高生产力。

CodeSonar支持本地的Wind River VxWorks®实时操作系统以及POSIX API，提供了在内核或用户模式下运行的应用软件和设备驱动程序的高级、全程序静态分析。对于复杂物联网(IoT)设备的开发人员来说，CodeSonar提供了一种必须具备的能力，因为它可以发现安全和质量问题，以及多核开发特有的问题，如死锁、活锁、资源短缺和竞争条件。CodeSonar识别可能导致系统崩溃、意外行为和安全漏洞的bug，从而降低了交付代价高昂、有损品牌的缺陷的风险。它会在软件测试之前的开发阶段发现这些bug，从而节省成本和时间。

*文章出版在这里。