SpecChecker 1.0.9

SpecChecker 是一款高精准的软件静态分析工具，集多领域编码规则检查、运行时缺陷检测及代码度量分析于一体，是国内首个通过 ISO 26262、IEC 61508 和 EN 50128 功能安全认证的同类产品。SpecChecker 插件专为 Visual Studio Code 用户提供 C/C++ 语言的编码规范检查能力，主要针对汽车以及其他嵌入式领域常用的 MISRA 和 AUTOSAR 编码标准，帮助用户快速检测并解决代码问题。

插件提供功能：

• 编码规则检查
• 保存代码时进行静态扫描
• 单文件或多文件分析

支持语言：

• C、C++

编码规范：

SpecChecker 支持多种编码规范，包括但不限于：

• MISRA C:2012、MISRA C:2008、MISRA C:2004
• AUTOSAR C++14
• C/C++ 语言编程安全子集（GJB8114-2013）
• 航天型号软件 C 语言安全子集（GJB5369-2005）
• 载人航天工程 C 语言软件编程规范（921C-2017）
• 航天器 C 语言软件编程约定
• CERT C/C++
• CWE
• Python 语言编程规范
• Java 语言编程规范

如需了解更多内容，请联系北京轩宇信息技术有限公司。

支持的环境：

• Windows 7、Ubuntu 18.04 及以上版本

快速开始：

1. 在 Visual Studio Code 中安装 SpecChecker 插件。
2. 打开一个 C/C++ 工程。
3. 选中一个或多个源文件，通过右键或命令行使用 SpecChecker 对代码进行扫描。
4. 在资源管理器的“SPECCHECKER 检查结果”中查看代码扫描结果，详细结果在问题视图中查看。

扩展配置：

• SpecChecker.check_on_save（保存并分析）：保存文件时，执行静态分析。
• SpecChecker: Is_clear（是否清除原有结果）：在输出诊断时是否清除原有结果，默认清除。
• SpecChecker:Rule（规则集）：分析的规则集，默认为 AUTOSARCPP14。

联系我们：

• 如需了解 SpecChecker 更多功能，请联系我们。
• 联系电话：16710869068

许可证：

SpecChecker 的 Visual Studio Code 插件扩展-版权所有（C）2023 北京轩宇信息技术有限公司。