On Thu, 2021-11-18 at 09:14 +0300, Dan Carpenter wrote: > 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/ Might want to stick something in Documentation about that.