SpecChecker提供了高准确度和齐全的编码标准符合性检查,支持最多种类的精确缺陷检测能力,可以与用户软件开发工具和流程无缝集成,最大限度发挥静态分析的效能。主要技术优势:高精度 MISRA C/C++、AUTOSARC++14 检测引擎;首个航天嵌入式典型故障模式集合;基于变量访问序模式的中断数据竞争检测技术;高精度高性能运行时错误与安全漏洞检测技术。
提交成功
谢谢您的宝贵意见,我们将安排客服尽快与您沟通