cppcheck linux,cppcheck实现c++代码静态检查
本文案旨在输出方法: 通过jenkins集成cppcheck实现对c++代码的检查,并输出报告,通过报表可以明确分析出问题
Cppcheck是c/c++代码的静态分析工具。它提供了独特的代码分析来检测bug,并着重于检测未定义的行为和危险的编码结构。我们的目标是只检测代码中的真正错误(例如,只有很少的误报)。
特征
独特的代码分析,可以检测代码中的各种错误。
命令行界面和图形用户界面均可用。
Cppcheck非常注重检测未定义的行为。
未定义的行为
死去的指针
除零
整数溢出
无效位移位操作数
无效的转换
STL的无效使用
内存管理
空指针取消引用
出界检验
未初始化变量
文字常量数据
本文简易思路:
jenkins
cppcheck工具
cppcheck插件
将以上工具部署jenkins工程
执行工程
呈现报表,分析结果
一、安装jenkins
此处略过
二、安装cppcheck
安装默认下一步,下一步
设置环境变量,将cppcheck安装路径加入path
C:\Program Files\Cppcheck
写几个有问题的cpp文件简单测试下:
2.cpp
void fun() {
char *name = (char *) alloca(size);
// ...
free(name); // Noncompliant, memory allocated on the stack
char *name2 = "name";
// ...
free(name2); // Noncompliant, memory allocated on the stack
}
3.cpp
void fun() {
FILE * pFile;
pFile = fopen(fileName, "w");
if (condition) {
fclose(pFile);
// ...
}
fclose(pFile); // Noncompliant, the file has already been closed
}
a. cpp
#include
int main()
{
int* p;
int m = *p;
return 1;
}
打开cppcheck客户端选择文件,发现3个错误
image.png
三 、jenkins安装cppcheck插件
Cppcheck插件在构建工作区中扫描Cppcheck报告文件,并报告在静态C / C ++代码分析期间检测到的问题。
此插件提供以下功能:
在构建,构建状态评估和图形之后配置要扫描的文件。
趋势报告显示每种类型检测到的问题数。
结果摘要和结果详细信息包括新问题和已解决的问题。
列出突出问题的源代码。
显示单个页面上突出显示的所有违规。
仪表板视图 portlet显示每个作业的问题数。
远程访问API(REST API)。
适用于大多数项目/工作类型。
jenkins-系统管理-插件管理-可选插件搜索cppcheck
image.png
安装后重启
创建一个cppcheck_test的工程
按如下配置:
构建
cd E:\src
cppcheck -j 1 --enable=all --xml ./* 1> %WORKSPACE%/cppcheck-result.xml 2>&1
参考样例:
#最小的参数集
cppcheck --xml --xml-version = 2 SOURCE_DIRECTORY 2> cppcheck.xml
#启用所有检查
cppcheck --enable = all --inconclusive --xml --xml-version = 2 SOURCE_DIRECTORY 2> cppcheck.xml
#分析多个并行线程
cppcheck -j 4 --enable = all --inconclusive --xml --xml-version = 2 SOURCE_DIRECTORY 2> cppcheck.xml
image.png
构建后操作
image.png
image.png
执行结果
image.png
详细结果
image.png
客户端和插件
Cppcheck与许多流行的开发工具集成在一起。例如:
Code :: Blocks - 集成
CodeDX(软件保障工具) - 集成
CodeLite - 集成
CppDepend 5 - 整合
KDevelop - 自v5.1开始集成
Mercurial(Linux) - 预提交钩子 - 检查提交时的新错误(需要交互式终端)
Tortoise SVN - 添加预提交钩子脚本
Git(Linux) - 预提交钩子 - 检查进入提交的文件中的错误(需要交互式终端)
其他静态分析工具##
使用一组工具比使用一个工具更好。每个工具都有独特的代码分析,因此我们建议您也使用其他工具。
Cppcheck专注于错误而不是文体问题。因此,专注于风格问题的工具可能是一个很好的补充。
Cppcheck非常努力地避免误报。有时人们想要检测所有错误,即使会有很多错误警告,例如当他们正在处理发布并想要验证没有错误时。比Cppcheck噪声更大的工具可能是一个很好的补充。
即使是与Cppcheck具有相同设计目标的工具也可能是很好的补充。静态分析是如此大的领域,Cppcheck只涵盖了它的一小部分。没有工具可以覆盖整个领域。所有手动测试因某些工具而过时的日子都很遥远。
cppcheck linux,cppcheck实现c++代码静态检查相关推荐
- linux sparse 内核代码静态检查
Sparse简介 Sparse诞生于2004年,是由Linux之父开发的,目的就是提供一个静态检查代码的工具,从而减少Linux内核的隐患.起始,在Sparse之前已经有了一个不错的代码静态检查工具( ...
- 你需要的代码静态检查
代码静态检查 使用cppcheck给工程代码做静态检查,主要发现了以下几个问题: 1. 使用C风格的类型转换 警告如下: C-style pointer casting detected. C++ o ...
- 基于MISRA-C和VS Code的代码静态检查的开源解决方案
基于MISRA-C和VS Code的代码静态检查的开源解决方案 简介 工具 配置步骤 简介 MISRA-C是汽车嵌入式软件开发中常用的静态代码检查工具.常用的商用静态代码分析工具,比如QAC.Cove ...
- Jenkins 在 Tomcat 中的部署及代码静态检查工具集成
Jenkins 的简单部署 在安装了 Jenkins 运行所需的依赖(主要是 JDK)之后,可以通过如下步骤简单快速地部署 Jenkins: 下载 Jenkins. 打开终端并切换至下载目录. 运行命 ...
- 代码静态检查工具PC-Lint运用实践
代码静态检查工具PC-Lint运用实践 如何提交zero bug的产品,如何尽早发现bug,是软件开发工程师和测试工程师都需要思考的问题.我认为高质量的代码是关键,具体实施保障办法有:框架约束,代码评 ...
- 一些代码静态检查工具的简介
1.KLOCWORK: 适用语言:C, C++, JAVA 是否开源:否, 是否需要编译:是 作用:代码静态检查工具.用于高效检测软件缺陷和安全隐患,提供优秀的静态源代码分析解决方案.软件号称是业界领 ...
- 【Dart】Dart代码静态检查
介绍 代码检查可以有效的提高代码质量,更进一步的说代码检查不仅仅是为了提高代码质量,已深入到代码程序的逻辑检查.内存使用情况的检查甚至更高层面的检查,很大程度上影响了程序的功能和性能. 代码检查分类 ...
- cppcheck 自定义规则_cppcheck代码静态检查工具及相关工具插件用法介绍
摘要:介绍代码缺陷静态检查工具(static code analyzer)cppcheck,以及其vs.qtcreator.git.jenkins插件及用法. Cppcheck着重于检测未定义的行为和 ...
- 代码静态检查工具汇总
静态代码扫描,借用一段网上的原文解释一下(这里叫静态检查):"静态测试包括代码检查.静态结构分析.代码质量度量等.它可以由人工进行,充分发挥人的逻辑思维优势,也可以借助软件工具自动进行.代码 ...
最新文章
- centos改动sshport
- php中参数传值的三种方法,php cli传递参数的方法
- Ivan D Jankovic PhD Studentship** Application
- 开发工具:VSCode 摸鱼神器,确定不试一下?
- python中excel制作成绩报表_python制作简单excel统计报表2之操作excel的模块openpyxl简单用法...
- Java怎么去最高分最低分,深入java虚拟机:原子操作ParkEvent和Parker
- 微软是如何使用C#重写C#编译器并将其开源的
- 反射工厂在数据访问层的应用
- android仿优酷菜单,Android编程实现仿优酷旋转菜单效果(附demo源码)
- Sql Server 2000 无法打开用户默认数据库。登录失败
- Excel2013数据透视表、Power View中的钻取
- popupTheme和theme
- python 获取唯一值_从Python列表中获取唯一值
- Java获取网络IP
- 【计算理论】计算复杂性 ( NP 完全问题 | NP 难 问题 P = NP 的情况 | NP 难 问题 P ≠ NP 的情况 )
- Matlab中mapminmax函数使用注意事项
- 网络教育统考计算机和英语作文,网络教育英语统考试题
- 暴跌是因币安丢币后做空?让链上数据告诉你真相
- 苹果企业证书发布ipa,使用gitee存放plist文件
- 《计算机程序的构造和解释》阅读笔记:准备(3)【python3简单实现lisp解释器(3)】