静态缺陷检测工具 SpecChecker 插件
介绍
- SpecChecker 是一款集多领域编码规则检查、运行时缺陷检测、代码度量分析等功能于一身的高精准软件静态分析工具，是国内首个通过 ISO 26262、IEC 61508 和 EN 50128 功能安全认证的同类产品。 SpecChecker 插件为 Visual Studio Code 提供了 C/C++语言的编码规范检查能力，主要针对汽车以及其他嵌入式领域常用的 MISRA 和 AUTOSAR 编码标准提供代码检查，帮助用户快速检测代码问题。
插件提供功能
- 编码规则检查
- 保存代码时进行静态扫描
- 单文件或多文件分析
支持语言
编码规范
SpecChecker 支持的编码规范如下，如需要了解更多内容，可联系北京轩宇信息技术有限公司
- MISRA C:2012（插件内置）
- MISRA C++:2008（插件内置）
- AUTOSAR C++14（插件内置）
- C/C++语言编程安全子集（GJB8114-2013）
- 航天型号软件 C 语言安全子集（GJB5369-2005）
- 载人航天工程 C 语言软件编程规范（921C-2017）
- 航天器 C 语言软件编程约定
- MISRA C:2004
- CERT C/C++
- CWE
- Python 语言编程规范
- Java 语言编程规范
支持的环境
- Windows7/ubuntu18.04/CentOS7.4 及以上版本
前置条件
SpecChecker 在 Visual Studio Code 中执行静态分析依赖 C/C++插件
- 在 SpecChecker 安装时会自动检测 C/C++插件并安装。
快速开始
- 在 Visual Studio Code 中安装 SpecChecker 插件。
- 打开一个 C/C++工程，使用“C/C++:编辑配置”命令生成 c_cpp_properties.json 文件，如已具备，请忽略。
- 选中一个或多个源文件，通过右键或命令行使用 SpecChecker 对代码进行扫描。
- 在资源管理器的“SPECCHECKER 检查结果”中查看代码扫描结果，详细结果在问题视图中查看。
扩展配置
- SpecChecker.check_on_save（保存并分析）：保存文件时，执行静态分析。
- SpecChecker: Is_clear（是否清除原有结果）：在输出诊断时是否清除原有结果，默认清除。
- SpecChecker:Rule（规则集）：分析的规则集，默认为 MISRA C2012(C90)。
联系我们
- 使用 SpecChecker 更多功能，请联系我们。
- 联系电话：16710869068
许可证
SpecChecker 的 Visual Studio Code 插件扩展-版权所有（C）2023 北京轩宇信息技术有限公司.License
| |
