什么是Polyspace静态代码分析产品?
查找运行时错误、并发问题、安全漏洞和数百类其他错误 实施编码规则标准,如MISRA C、MISRA C++、AUTOSAR C++14、CERT C、CERT C++和自定义命名约定 生成代码度量以度量和改进源代码的质量 使用形式化方法证明在所有可能的控制流和数据流下不存在关键运行时错误 创建完成行业安全标准认证过程所需的工件,如IEC 61508、ISO 26262、ISO/SAE 21434或DO-178