O desenvolvedor do Cppcheck (Daniel Marjamäki) está planejando adicionar a capacidade de verificação de software em C e C++ ao seu analisador estático.
Verificação de software no Cppcheck
No modo 'verificação', o Cppcheck emitirá um aviso se não conseguir confirmar que o código é seguro, no entanto, isso pode gerar ruído (múltiplos avisos).
Planos de implementação
O modo de verificação será implementado gradualmente. Na primeira fase, o trabalho será concentrado na verificação de 'divisão por zero'. Esta é uma verificação relativamente simples. Cada função será verificada separadamente. Presume-se que todos os dados de entrada possam ter valores arbitrários. Verificações de outros tipos de comportamento indefinido serão adicionadas posteriormente. Também está previsto melhorar a análise sintática de C e C++.
Aceleração do desenvolvimento
O objetivo de arrecadação de fundos no Kickstarter é acelerar o desenvolvimento do modo de verificação. Essa funcionalidade será adicionada de qualquer forma, mas o trabalho pode levar mais tempo se os fundos não forem arrecadados. Se os fundos forem arrecadados, Daniel poderá tirar uma licença do trabalho principal para se dedicar totalmente ao projeto cppcheck.
Objetivos do projeto
Melhorar o analisador C++.
Fonte: linux.org.ru
