Descrição
Código-fonte C pode ser analisado e verificado com um analisador semântico que entende ANSI C e muitas extensões do GCC. Desenvolvedores de kernel e sistemas rodam `sparse` para encontrar problemas de tipos, espaços de endereço e análise estática em projetos C. Ele lê árvores de código-fonte e relata diagnósticos sem alterar o código.