基于Linux环境的C/C++软件重量级静态检查

• 作者: 刘立康 姜文
• 来源期刊: 微型电脑应用
• 学科: 工学
• 关键词: Linux操作系统 静态检查 持续集成 安全漏洞
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 基金项目
• 页码范围: 12-15
• 页数: 4页
• 分类号: TP311.56
• 字数: 4870字
• 语种: 中文

摘要

为了保证基于Linux环境的C/C++软件代码的质量,对软件源代码进行静态检查非常重要.以SVN作为配置管理工具,将重量级静态检查工具Coverity和Fortify集成到持续集成工具ICP-CI上,对C/C++源代码进行静态检查.详细叙述了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Coverity和Fortify编译器的配置、ICP-CI的任务管理页面上配置检查任务.分析了检查过程中出现各种问题的原因并给出相应的解决方案.最后介绍了一个应用重量级静态检查的案例.工作实践表明静态检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜文		51	263	10.0	12.0
2	刘立康	西安电子科技大学通信工程学院	36	166	8.0	10.0