linux驱动代码的静态检测手段

[maple412]

最近在做linux驱动代码开发，想要对驱动代码做静态检测。使用了2个方法pclint和splint

1 pclint: 在Windows下运行，将内核代码也copy到windows下。pclint指定内核代码的路径。运行的时候经常提示找不到驱动代码中用到的内核api。
2 splint：直接在linux下跑，但也存在同样的问题，会提示找不到驱动代码中用到的内核api函数或者文件

想问下各位大佬一般驱动代码做静态检测的手段是哪些

[astolia]

LDV：http://linuxtesting.org/kernel
smatch：https://repo.or.cz/w/smatch.git
coccinelle：https://coccinelle.gitlabpages.inria.fr/website/
另外编译时gcc打开-Werror -Wextra -Wall也有一定效果