最近在做linux驱动代码开发,想要对驱动代码做静态检测。使用了2个方法pclint和splint
1 pclint: 在Windows下运行,将内核代码也copy到windows下。pclint指定内核代码的路径。运行的时候经常提示找不到驱动代码中用到的内核api。
2 splint:直接在linux下跑,但也存在同样的问题,会提示找不到驱动代码中用到的内核api函数或者文件
想问下各位大佬一般驱动代码做静态检测的手段是哪些
linux驱动代码的静态检测手段
-
- 帖子: 45
- 注册时间: 2017-11-25 22:36
- astolia
- 论坛版主
- 帖子: 6494
- 注册时间: 2008-09-18 13:11
Re: linux驱动代码的静态检测手段
LDV:http://linuxtesting.org/kernel
smatch:https://repo.or.cz/w/smatch.git
coccinelle:https://coccinelle.gitlabpages.inria.fr/website/
另外编译时gcc打开-Werror -Wextra -Wall也有一定效果
smatch:https://repo.or.cz/w/smatch.git
coccinelle:https://coccinelle.gitlabpages.inria.fr/website/
另外编译时gcc打开-Werror -Wextra -Wall也有一定效果