SpecChecker 是一款高精准的软件静态分析工具，集多领域编码规则检查、运行时缺陷检测及代码度量分析于一体，是国内首个通过 ISO 26262、IEC 61508 和 EN 50128 功能安全认证的同类产品。SpecChecker 插件专为 Visual Studio Code 用户提供 C/C++ 语言的编码规范检查能力，主要针对汽车以及其他嵌入式领域常用的 MISRA 和 AUTOSAR 编码标准，帮助用户快速检测并解决代码问题。
插件提供功能：
- 编码规则检查
- 保存代码时进行静态扫描
- 单文件或多文件分析
支持语言：
编码规范：
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 及以上版本
快速开始：
- 在 Visual Studio Code 中安装 SpecChecker 插件。
- 打开一个 C/C++ 工程。
- 选中一个或多个源文件，通过右键或命令行使用 SpecChecker 对代码进行扫描。
- 在资源管理器的“SPECCHECKER 检查结果”中查看代码扫描结果，详细结果在问题视图中查看。
扩展配置：
- SpecChecker.check_on_save（保存并分析）：保存文件时，执行静态分析。
- SpecChecker: Is_clear（是否清除原有结果）：在输出诊断时是否清除原有结果，默认清除。
- SpecChecker:Rule（规则集）：分析的规则集，默认为 AUTOSARCPP14。
联系我们：
- 如需了解 SpecChecker 更多功能，请联系我们。
- 联系电话：16710869068
许可证：
SpecChecker 的 Visual Studio Code 插件扩展-版权所有（C）2023 北京轩宇信息技术有限公司。
本站所有资源都是由网友投稿发布，或转载各大下载站，
请自行检测软件的完整性！
本站所有资源仅供学习与参考，请勿用于商业用途，否则
产生的一切后果将由您自己承担！
如有侵权请联系我们删除下架，联系方式：study_golang@163.com
