Linux Coccinelle工具

阅读数:308 评论数:0

跳转到新版页面

分类

Linux

正文

Coccinelle是一个文本模式转换的正则式匹配的工具。

获取Coccinelle

大部分Linux分支版本都有这个工具。

 

  • Debian
  • Fedora
  • Ubuntu
  • OpenSUSE
  • Arch Linux
  • NetBSD
  • FreeBSD

还可以从http://coccinelle.lip6.fr/下载最新版,执行:

  1.  
    ./configure
  2.  
    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"