SpecChecker提供了高准确度和齐全的编码标准符合性检查,支熱請持最多种类的精确缺陷检测能力,可以与用户软件開(kā都時i)发工(gōng)具和流程无缝集成,最大(dà)限度发挥静态分析的效能。主男討要技术优势:高精度 MISRA C/C++、AUTOSARC++14 检测引擎;首个航天嵌入式典型故障模式集合;基于变量访问序模式的秒飛中断数据竞争检测技术;高精度高性能运行時(shí)錯(c黑近uò)误与安全漏洞检测技术。
提交成功
谢谢您的宝贵意见,我們(men)将安排客服尽快与您沟通(tōng)