码迷,mamicode.com
首页 > 系统相关 > 详细

Linux kernel souce code static scan verify

时间:2015-05-08 18:28:52      阅读:205      评论:0      收藏:0      [点我收藏+]

标签:linux driver verification

Linux Driver Verification - a comprehensive toolset for static source code verification of Linux device drivers.

静态代码扫描的工具,可以安装在docker上,用起来非常的简单。

docker安装的方式如下:

http://forge.ispras.ru/projects/ldv/wiki/LDV_Tools_in_Docker

本文出自 “Storage” 博客,请务必保留此出处http://xmwang.blog.51cto.com/9889672/1649623

Linux kernel souce code static scan verify

标签:linux driver verification

原文地址:http://xmwang.blog.51cto.com/9889672/1649623

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!