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