Descrição
Analisa semanticamente código-fonte C para encontrar problemas de tipo, erros de espaço de endereçamento e questões comuns em código no estilo kernel. Desenvolvedores usam a ferramenta para checagens estáticas em projetos C de baixo nível, especialmente relacionados ao kernel Linux.
Análise estática é orientação, não prova de correção. Revise avisos no contexto e ainda compile, teste e audite caminhos de código que afetam segurança ou hardware.