2022年C语言规则检查工具CCHECKER .pdf

C语言编程准则检查工具C Checker1 概述C 语言编程准则检查工具C Checker 是由航天软件评测中心自主研发的、基于 C 语言开发环境、用于对C 语言编写的程序进行准则检查及安全性分析的软件工具。C Checker 可以为高可靠高安全软件的开发提供有力支持，它面向三个层次的用户，包括开发人员、 软件质量管理人员与测试人员，帮助他们发现软件编程方面的安全隐患，避免一些不良的编码风格，从而提高代码的可读性与编程水平，降低出错概率，改进代码质量。2 功能C Checker 当前版本为1.0，支持 GCC、CCS、TC 等多种开发环境开发的C 程序，检查内容及给出的结果符合GJB 5369-2005（C 语言安全子集） 、Q/WE 905-2005 标准。C Checker 的主要功能包括1检查 C 语言源代码的安全缺陷2检查程序的注释度（可读性）3按一定的编写风格美化源代码程序4自动生成检查结果报告3 特性C Checker 基于先进编译技术、静态编码安全性程序分析技术、基于契约的自下而上分析方法、 语言特征信息识别扩展机制等先进技术，经过多个航天项目实际使用验证，确保了准则检查的精确性，为航天型号软件质量保障提供了有力支持。C Checker 针对声明后没有使用、类型不一致、先使用后定义、不可达的代码、忽略返回值、执行路径没有返回、可能的死循环、缓冲区溢出问题和动态内存错误，以及使用了不安全的 C 库函数等方面，提出安全警示；同时，还能够对软件进行度量，对软件的安全性和可靠性给予指示。C Checker 界面与 Visual Studio 风格相似，界面友好，易学易用。名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 1 页，共 4 页 - - - - - - - - - 图 1 C Checker 运行界面C Checker 根据 C 语言编程准则（Misra 准则、 GJB 5369-2005 航天型号软件C 语言安全子集、 Q/WE 905-2005） ，所检查的编程准则类型包括声明定义类、分支控制类、指针使用类、跳转控制类等。用户可以通过设置扫描类型方便地对检查准则进行剪裁。图 2设置扫描类型C Checker 生成 HTML格式的检测结果报告，警示信息直接标注于代码行下方，清晰直观，方便查看。名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 2 页，共 4 页 - - - - - - - - - 图 3 警示信息C Checker 通过图形化的度量分析结果（包括扫描结果的度量，程序可读性度量等信息）表述程序的内在质量特性。图 4 软件缺陷度量信息名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 3 页，共 4 页 - - - - - - - - - 图 5 注释数量度量信息4 运行环境CPU 性能在 P41.8GHz 以上的 PC 机、笔记本电脑；128 兆内存以上；100 兆可用硬盘空间以上；Microsoft Windows2000/ XP 操作系统及以上。名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 4 页，共 4 页 - - - - - - - - -