O GCC 10 apresenta um analisador estático - para fazer análise estática no código C com a opção "-fanalyzer"

Confira !!



No repositório Git recém-criado do GCC, há um grande recurso de última hora para o lançamento do GCC 10 : um analisador estático há muito aguardado.

Enquanto o Clang do LLVM oferece há muito tempo uma opção de analisador estático, o GCC 10 é o primeiro lançamento com uma passagem de análise estática para ajudar os desenvolvedores a identificar possíveis problemas no código. Para o GCC 10, a passagem de análise estática é focada no código C e opera fora da representação do GIMPLE SSA. O passe de análise estática emitirá avisos sobre libertações duplas e outros problemas com malloc / free. Presumivelmente, para o GCC 11, veremos o suporte ao idioma adicionado e outras verificações que podem ser feitas como análise de código estático.

A ativação do passe pode ser feita com -fanalyzer mas, ao fazer isso, levará a tempos de compilação significativamente mais longos (potencialmente o dobro).

A estrutura de análise estática do GCC foi originalmente proposta em novembro e desenvolvida por David Malcom, da Red Hat .

Mais detalhes sobre o novo analisador estático do GCC por meio desta nova documentação foram adicionados ao pousar o analisador apenas alguns minutos atrás.

Fonte

Até a próxima !!