Tags
Commonly Compared
Review of Smatch powered by the Slant community.
Smatch is a static analysis tool for C that is used on the kernel. It has resulted in hundreds of patches. Quite a few have been security related or were significant enough for the stable kernel.