C/C++静态缺陷检测工具
SUNWISE SpecChecker
工具概述
SpecChecker是一款利用程序静态分析技术对代码可信性保障提供支持的缺陷检测工具。支持安全编码标准符合性检查、运行时缺陷检测和代码质量度量等。可适用于源码开发的任何阶段，通过持续暴露缺陷以改善质量和化解风险。利用可视化代码结构分析以辅助审查、提高效率。是国内首个通过ISO 26262、IEC 61508 和EN 50128功能安全认证的同类产品。
产品特性与优势
· 本地化的编码标准符合性检查
精准、高效支持GJB-5369、GJB-8114、MISRA C 2004、MISRA C 2012中国空间技术研究院院标准《航天器C语言软件编程约定》，共支持规则734条。
· 嵌入式软件典型故障模式和运行时错误检查
从大量实际案例出发，提炼形成了85项典型故障模式，进行了自动化检查支持。通过使用跨函数和全系统的错误分析技术，能够支持如空指针、未初始化变量、数组越界、除零错、整数溢出等22项运行时错误检测。
· 共享全局变量与数据竞争分析
首个支持中断数据访问冲突缺陷检测的商用工具。采用跨函数、跨中断的抽象解释技术进行高效、精确的并发语义分析，将真正有害的数据访问冲突用可视化的缺陷场景视图报告给用户。
· 支持多引擎的静态分析平台
具有基于元数据模型和统一调度接口的多引擎集成框架，可无缝集成CppCheck、Splint、Clang Static Analyzer、NASA JPL UNO、OCLint等静态分析引擎，充分发挥各个工具的优势，显著提升静态分析能力。
· 代码架构和可视化
自动分析出函数控制流图、全局函数调用关系图和指定函数的调用关系与被调用关系图，采用最优化的布局引擎能够将异常复杂的架构清晰地展示给用户，便于进行快速的代码审查和理解。
· 自动化可配置的报告生成
提供多种格式的报告导出，并提供基于自定义模板的报告生成。可为用户生成用于归档的正式检测报告，支持的格式包括HTML、PDF、Microsoft Word。
