| 基于Klocwork的C/C++软件静态检查 |
| |
| 引用本文： | 姜文,刘立康.基于Klocwork的C/C++软件静态检查[J].航空计算技术,2016(4):118-122. |
| |
| 作者姓名： | 姜文 刘立康 |
| |
| 作者单位： | 西安电子科技大学 通信工程学院,陕西 西安,710071 |
| |
| 基金项目： | 国防预研基金项目资助(A1120110007) |
| |
| 摘 要： | 为了保证基于Linux与VxWorks操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与ClearCase作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、ClearCase版本库的代码更新、以及Klocwork分别在Linux与VxWorks操作系统下进行Klocwork检查的步骤。给出了Klocwork检查分别在Linux与VxWorks操作系统中的详细检查步骤与检查脚本,以及对已经被检查出来的缺陷的处理。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。
|
| 关 键 词： | Linux操作系统 VxWorks操作系统 Klocwork检查 配置管理 静态检查 |
Static Check of Software of C/C++ Based on Klocwork |
| |
| JIANG Wen;LIU Li-kang.Static Check of Software of C/C++ Based on Klocwork[J].Aeronautical Computer Technique,2016(4):118-122. |
| |
| Authors: | JIANG Wen;LIU Li-kang |
| |
| Institution: | JIANG Wen;LIU Li-kang;School of Telecommunication Engineering,Xidian University; |
| |
| Abstract: | |
| |
| Keywords: | Linux operating system VxWorks operating system Klocwork checking configuration man-agement static checking security vulnerabilities |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
