Ditto. I personally use 'C=1 CHECK="ninja-check"' which is a wrapper
which calls all static analyzers I know of.

Still, to make it easier for other developers not so much interested in
static analyzing, brushing up C=1 to automatically use sparse and smatch
if installed might be worthwhile.

Great to hear that Dan wants to improve installing smatch. I'll add the
C=1 extension to my todo-list, yet I won't be angry if somebody else
gets around to do it sooner.