Descrição
Código-fonte C pode ser verificado em busca de alertas de análise estática com o build de desenvolvimento atual do Smatch. Este pacote é útil para desenvolvedores de kernel e sistemas que procuram padrões de bug antes do runtime. Achados precisam de revisão humana porque analisadores estáticos podem perder problemas ou relatar falsos positivos.