Linux Coccinelle工具
阅读数:496 评论数:0
跳转到新版页面分类
Linux
正文
Coccinelle是一个文本模式转换的正则式匹配的工具。
获取Coccinelle
大部分Linux分支版本都有这个工具。
- Debian
- Fedora
- Ubuntu
- OpenSUSE
- Arch Linux
- NetBSD
- FreeBSD
还可以从http://coccinelle.lip6.fr/下载最新版，执行：
./configure
make如果你是普通用户，安装需要：
sudo make install在Linux 内核中使用Coccinelle
一个Coccinelle指定的目标定义在顶级的makefile中，目标命名为coccicheck，在scripts目录中从前向后调用coccicheck。
支持4种模式：
- patch：可能的话，提供一个修复建议。
- report：以file:line:column-column：message生成报告列表
- context：把感兴趣的行以高亮显示，感兴趣的行以-标识。
- org：以Emacs的Org模式格式生成报告。
为了使用的简单，默认模式是report。另外还有两种模式是混合模式：
- chain：以上述顺序尝试执行，直到一个成功为止。
- rep+ctxt：依次执行report和context模式，而且要添加C选择，这样可以基于文件检查代码。
Coccinelle 并行化
默认coccicheck是尽力并行化运行的，如果改变并行化行为，使用J变量。例如，运行在4个CPU上
make coccicheck MODE=report J=4控制哪些文件Coccinelle处理
默认情况下，整个内核源码树都需要进行检查。可以使用M=来指定处理的目录。例如，只检查driver/net/wireless/
make coccicheck M=drivers/net/wireless/如果指定的文件，可以
make C=1 CHECK="scripts/coccicheck"如果只检查新编辑的代码，可以使用值2或C标志。
make C=2 CHECK="scripts/coccicheck"相关推荐
一、概述
1、为什么Linus不使用GPLv3
在 PC 上，只要你得到了某个程序的源代码，就可以自行编译生成二进制程序，然后替换掉原有的二进制程序，你的程序自由很容易得到保证。然而 iPod、iPh
说明：这种方式只是用于方便阅读代码，因为可以在源代间快速索引跳跃。但是最后可能会有一些warning，可以不必关心，如果是强迫症，可以使用下面这种方式来去掉。
一、概述
在Linux系统中，/usr/bin和/usr/local/bin是两个常见的目录，用于存放可执行文件（二进制文件）。
很多应用都安装在/usr/local下面，先看一下automake工具
一、概述
vmstat命令是最常见的Linux/Unix监控工具，可以监控给定时间间隔服务器的CPU使用率、内存使用、IO情况。相比top命令，可以查看到整个机器的CPU、内存、IO的使用情况，而
一、概述
sar,System Activity Reporter。是目前 Linux 上最为全面的系统性能分析工具之一，可以从多方面对系统的活动进行报告，包括：文件的读写情况、系统调用的使用情况、磁
一、简介
简单来说awk就是把文件逐行的读入，以空格为默认分隔符将每行切片，切开的部分再进行各种分析处理。
二、使用方法
1、基本语法
awk '条件类型1 {动作1} 条件类型2{动作2} ...
一、概述
列出目标目录中所有的子目录和文件。
二、 语法
ls [选项] [目录名]
-a, –all 列出目录下的所有文件，包括以 . 开头的隐含文件
-A 同-a，但不列出“.”(表示当前目录)
一、概述
cd全称是change directory，用于切换当前工作目录。
注意的是，cd命令是一个内建命令，它是由 shell 提供的。因此，不同的 shell 可能会有一些差异，但基本的用法和功
一、概述
全称为print working directory，查看”当前工作目录“的完整路径，一般情况下不带任何参数
二、语法
pwd [选项]
-L
即logical，逻辑路径
-P
即
一、概述
通过 mkdir 命令可以实现在指定位置创建以 DirName(指定的文件名)命名的文件夹或目录。要创建文件夹或目录的用户必须对所创建的文件夹的父文件夹具有写权限。并且，所创建的文件夹(目录