分页: 1 / 1

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

发表于 : 2021-09-16 19:40
maple412
最近在做linux驱动代码开发,想要对驱动代码做静态检测。使用了2个方法pclint和splint

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

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

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

发表于 : 2021-09-17 11:09
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也有一定效果