SpecChecker——航天C语言静态代码检查工具

产品概述

SpecChecker是北京轩宇信息技术有限公司自主研发的一个基于源代码静态分析技术的C语言代码检查工具，专为软件工程师、特别是安全关键领域的开发工程师设计。SpecChecker可用来检测编码错误和安全编码标准符合性，可在已有代码和新开发代码的任何开发阶段使用，通过编译时的检查有效改善代码质量，降低程序失效的风险。SpecChecker还可用于辅助代码审查，利用可视化的代码结构分析提高审查效率。SpecChecker关键特性

高效的代码安全规则检查

SpecChecker利用语法分析、类型检查、数据流分析等技术可对条安全规则进行自动检查，能够适用于数十万行的C语言程序。支持的规则类型包括：●声明定义类；●版面书写类；●类型转换类；●运算处理类；●指针使用类；●初始化类；●语义错误；●等等。

SpecChecker支持的规则覆盖GJB-，中国空间技术研究院院标《航天器C语言软件编程约定》、MISRAC以及国家自然科学基金“可信软件基础研究”重大研究计划成果《嵌入式软件可信编程规范》。灵活的分析前端和编译配置

SpecChecker通过自主研制的语法分析前端支持标准C、GNUC和C51的语法，并可通过灵活的编译配置支持任意软件代码。可复用的自定义规则集配置

SpecChecker除内置的规则集以外，还提供规则集配置功能，方便用户可根据个性化需求创建不同的规则集，用于安全规则检查。规则集管理和配置功能包括：●规则集自定义创建；●规则集的复制；●基于文件导入导出的规则集复用。代码结构分析和可视化

SpecChecker利用源代码静态分析技术为用户提供了代码结构分析和可视化功能，辅助用户进行高效的代码审查。主要特性：●语句级的函数控制流图；●基本块级的函数控制流图；●文件级的函数调用关系图；●工程级的函数调用关系图；●基于Graphviz布局引擎的图形展示；●可视化图与代码编辑器的链接定位；●各种可视化图的导出。

代码复杂度度量

SpecChecker在执行安全规则检查时，对软件源代码的复杂度进行了度量，支持的度量指标包括：●代码行数（可执行行数）；●圈复杂度；●基本复杂度；●注释率；

可定制的中文测试报告

SpecChecker提供可定制的、可独立分发的中文测试报告，极大程度地满足用户个性化文档工作的需求。支持的格式有：●HTML；●MicrosoftWord●PDF。

SpecChecker支持的环境支持的运行平台●MicrosoftWindows9x/NT//XP/7/8●Linux●Unix●MacOSX

支持的编译器●ARM●Keil●GNUGCC●GreenHills●WindRiver●VisualStudio●QNX

支持的开发工具●Eclipse3.4+●ARMDS5●WindRiverWorkbench●CodeComposerStudio●LeonIDEforEclipse●KeiluVersion2●Makefile

最低系统要求●1GHzCPU●1GB内存●MB硬盘空间

太原最好的白癜风医院
治白癜风秘方

转载请注明原文网址：http://www.gzdatangtv.com/bcyyfz/5377.html