使用PolySpace静态分析写作安全码
Ram Cherukuri，Mathworks
随着网络攻击威胁的上升，安全风险对软件开发构成了强大的挑战，软件的增长复杂性使其非常苛刻。越来越多的组织正在采用PolySpace静态分析工具，以防止安全相关的缺陷并减轻这些风险，作为其开发过程的一部分。
使用唯一称为抽象解释的唯一形式方法，PolySpace在开发新代码或分析遗留代码时，PolySpace将静态地检测缺陷和安全漏洞。了解如何使用PolySpace静态分析工具来提高软件质量和安全性，并通过嵌入式设备中的软件相关缺陷
- 强制执行编码标准，如Misra 2012，以防止漏洞
- 识别安全漏洞和各种其他类别的缺陷
- 运行时间分析以识别边缘案例并防止逃逸的任何缺陷
相关视频和网络研讨会
您还可以从以下列表中选择一个网站：