Description
C source code can be checked for static-analysis warnings with the current Smatch development build. This package is useful for kernel and systems developers looking for bug patterns before runtime. Findings need human review because static analyzers can miss issues or report false positives.