-
ꁸ 回到顶部
-
ꂅ 010-68379213-825
-
ꁗ QQ客服
-
ꀥ 微信客服
SpecChecker
静态缺陷检测工具
SpecChecker是一款集多领域编码规则检查、运行时缺陷检测、代码度量分析等功能于一身的高精准软件静态分析工具,在易用性、成熟度和国产化适配等方面均优于国外同类产品。
工具优势
核心功能
本地化的编码标准符合性检查
精准、高效的支持军工、汽车等多行业常用的编程规范,规则总数达1900余条。能够基于已有规则自定义规则集和通过API接口扩展自定义规则。
嵌入式软件典型故障模式和运行时缺陷检查
依托数十年承担国家航天型号软件测试的深厚积累,建立首个型号软件故障模式集,目前已固化300余项。
通过使用跨函数和全系统的错误分析技术,支持符合CWE的运行时缺陷检测,如空指针、未初始化变量、数组越界、除零错等100余项。
中断数据竞争检测
采用跨函数、跨中断的抽象解释技术进行高效、精确的并发语义分析,将真正有害的数据访问冲突用可视化的缺陷场景视图报告给用户。
代码度量分析
能够对C/C++/JAVA/PYTHON语言进行代码度量。提供覆盖项目、文件、模块、类等不同层次的度量项分析,并可对度量项设置阈值,为软件质量度量提供基础数据。
代码结构可视化
采用最优化的图形布局引擎,实现异常复杂代码架构的清晰展示,便于用户进行快速的代码审查和理解。
编码标准
竞品对比
序号 |
特性 |
SpecChecker |
国外T工具 |
国外H工具 |
1 |
编码标准符合性检查 |
支持MISRAC 2004, CMSE,GJB5369,GJB8114,CERT C,MISRAC++ 2008,MISRAC 2012等规则集,此外支持自定义规则集 |
支持MISRAC 2004, CMSE,GJB5369,GJB8114,CERT C,MISRAC++ 2008,MISRAC 2012等规则集,但是其中8114、5369、CMSE等规则是通过映射实现,检查准确度较低 |
支持MISRAC 2004, CMSE,GJB5369,GJB8114,CERT C,MISRAC++ 2008,MISRAC 2012等规则集,但是其中8114、5369、CMSE等规则是通过映射实现,检查准确度较低 |
2 |
编译平台支持 |
支持,不需任何配置 |
支持,需要额外配置 |
支持,需要额外配置 |
3 |
共享变量和数据竞争分析 |
支持 |
不支持 |
不支持 |
4 |
运行时错误检测 |
支持 |
支持 |
不支持 |
5 |
典型故障模式检查 |
内置航天飞行器软件检测站嵌入式软件典型故障模式215项检查项 |
不支持 |
不支持 |
6 |
自定义规则集配置 |
支持 |
支持 |
支持 |
7 |
代码结构分析与可视化 |
支持 |
支持 |
支持 |
8 |
代码度量指标分析 |
支持 |
支持 |
支持 |
9 |
定制中文测试报告 |
支持 |
支持 |
不支持中文报告,仅支持HTML格式 |
10 |
售后服务 |
本地研发,技术支持响应快 |
国内代理,国外研发,技术支持响应慢 |
国内代理,国外研发,技术支持响应慢 |