> is sent. Why not just tell them run this in-kernel tool with all
> that checking enabled before you send the patch?

make C=1 ? That could be perhaps updated to call sparse *and* smatch if
it finds them installed.

The other tools I run one needs to know. They  produce many false
positives so they are not suited for an occasional user.