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
原文：http://xmwang.blog.51cto.com/9889672/1649623