It's not hard to run Smatch yourself... Depending on if you're on a apt distro or yum distro then fetch the dependencies with one of the follow commands: apt-get install gcc make sqlite3 libsqlite3-dev libdbd-sqlite3-perl libssl-dev libtry-tiny-perl yum install gcc make sqlite3 sqlite-devel sqlite perl-DBD-SQLite openssl-devel perl-Try-Tiny git clone https://github.com/error27/smatch cd smatch make cd ~/kernel_source/ ~/smatch/smatch_scripts/kchecker drivers/subsystem/ regards, dan carpenter
