O projeto Cppcheck está arrecadando fundos para implementar melhorias.

O desenvolvedor do Cppcheck (Daniel Marjamäki) vai adicionar a capacidade de verificar software em C e C++ ao seu analisador estático.

Verificação de software em Cppcheck

No modo "verificação", o Cppcheck emitirá um aviso se não conseguir verificar se o código é seguro, mas isso pode resultar em ruído (vários avisos).

Planos de implementação

O modo de verificação será implementado sequencialmente. Numa primeira fase, o trabalho concentrar-se-á na divisão por verificação zero. Esta é uma verificação relativamente simples. Cada função será testada separadamente. Supõe-se que todos os dados de entrada podem ter um valor arbitrário. Verificações para outros tipos de comportamento indefinido serão adicionadas posteriormente. Também há planos para melhorar a análise de C e C++.

Acelere o desenvolvimento

O objetivo da arrecadação de fundos no Kickstarter é acelerar o desenvolvimento do modo de verificação. Planejamos adicionar esse recurso de qualquer maneira, mas o trabalho poderá demorar mais se os fundos não forem arrecadados. Caso os recursos sejam arrecadados, Daniel poderá tirar licença do trabalho principal para dedicar integralmente seu tempo de trabalho ao projeto cppcheck.

Objetivos do Projeto

• Eliminando falsos negativos de testes de divisão por zero em Julieta и ITC.

• Correção de falsos positivos (ver. ERRO#9402).

• Melhoria do analisador C++.

Fonte: linux.org.ru