嵌入式安全
的Polyspace®产品系列提供了静态代码分析解决网络安全挑战的解决方案。这些挑战通常面临着在嵌入式应用程序上工作的软件开发人员和安全工程师面临。PolySpace产下载188bet金宝搏品使工程师能够：
- 符合CWE、CERT C、ISO/IEC 17961等安全标准
- 检测各种类型的关键软件缺陷和安全漏洞
- 证明缺乏某些关键漏洞
遵守安全标准
诸如Misra的软件编码标准在防止软件开发过程中不可靠的编程构建方面发挥了重要作用。CERT C，ISO / IEC 17961和CWE是编码规则指南，专门用于解决嵌入式系统内的越来越多的网络安全问题。常见的弱点枚举（CWE）是一种不断变化的安全标准，提供了可利用软件结构的常见描述，可以使您的软件容易攻击。CERT C是C的软件开发的一套安全编码指南。它是由Cert社区开发的，它与CWE具有重要重叠。ISO / IEC 17961是C的正式ISO标准。
根据这些指导原则检查代码可以帮助减少软件的攻击面并防止安全漏洞。当软件供应商确保其软件符合一项或多项网络安全标准时，这些检查正迅速成为公认的——甚至是必需的——标准。Polyspace错误发现者™帮助您检查您的代码是否符合上述所有的编码准则，并生成文档遵从性报告。
了解更多关于符合CERT C使用Polyspace静态分析。
检测安全漏洞
开发过程的编码阶段引入了软件中发现的大量缺陷和安全漏洞。Polyspace Bug Finder有助于及早发现此类漏洞和缺陷。您可以检测与静态和动态内存相关的问题，如缓冲区溢出和释放指针的使用，或者您可以检测并发冲突，如竞争条件。此外，Polyspace Bug Finder还可以检查特定的安全检查，如污染数据、资源和内存泄漏以及易受攻击的编码。您可以在IDE中将这些问题作为编码过程的一部分来处理。
有关更多信息，请参见软件漏洞和缺陷结果列表．
证明关键漏洞的缺失
一些最常被利用的漏洞包括缓冲区溢出或非法指针解引用。缓冲区溢出可以被利用来执行各种各样的攻击，比如破坏堆栈或注入代码。因此，重要的是要检测这些缺陷的所有实例，而不是少数。黑客可以尝试很多方法来发现软件漏洞，而他们所需要的只是找到一个漏洞，从而对您的应用程序造成严重破坏。
Polyspace代码验证™可以识别每个这样的实例并证明没有保留在软件中。由于详细的运行时控制和数据流行为，这可以帮助您使软件模块彼此独立。
