软件静态测试工具SpecChecker

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