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

内核编译和嵌入式产品的设计与开发
回复
maple412
帖子: 31
注册时间: 2017-11-25 22:36
送出感谢: 4 次
接收感谢: 0

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

#1

帖子 maple412 » 2021-09-16 19:40

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

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

想问下各位大佬一般驱动代码做静态检测的手段是哪些
头像
astolia
论坛版主
帖子: 5298
注册时间: 2008-09-18 13:11
送出感谢: 1 次
接收感谢: 894 次

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

#2

帖子 astolia » 2021-09-17 11:09

LDV:http://linuxtesting.org/kernel
smatch:https://repo.or.cz/w/smatch.git
coccinelle:https://coccinelle.gitlabpages.inria.fr/website/
另外编译时gcc打开-Werror -Wextra -Wall也有一定效果
这些用户感谢了作者 astolia 于这个帖子:
maple412 (2021-09-17 16:23)
评价: 3.7%
回复