Foi lançada uma nova versão do analisador estático de código cppcheck 2.7, que permite identificar diversas classes de erros no código em C e C++, incluindo o uso de sintaxes não padrão típicas de sistemas embarcados. É fornecida uma coleção de plugins que garantem a integração do cppcheck com diferentes sistemas de desenvolvimento, integração contínua e teste, além de oferecer funcionalidades como verificações de conformidade com padrões de estilo de código. Para a análise do código, pode-se usar tanto o parser próprio quanto o parser externo do Clang. Também está incluído um script donate-cpu.py para fornecer recursos locais para a execução de trabalho colaborativo na verificação do código de pacotes Debian. Os códigos-fonte do projeto são distribuídos sob a licença GPLv3.
O desenvolvimento do cppcheck está focado na identificação de problemas relacionados a comportamentos indefinidos e ao uso de construções que são perigosas do ponto de vista da segurança. O objetivo também é minimizar falsos positivos. Entre os problemas identificados estão: ponteiros para objetos inexistentes, divisões por zero, estouros de inteiros, operações incorretas de deslocamento de bits, conversões inadequadas, problemas de gerenciamento de memória, uso incorreto de STL, desreferenciamento de ponteiros nulos, aplicações de verificações depois do acesso real ao buffer, ultrapassagens de limites de buffers, e uso de variáveis não inicializadas.
Paralelamente, a empresa sueca Cppcheck Solutions AB está desenvolvendo uma versão avançada chamada Cppcheck Premium, que fornece análise da presença de laços infinitos, busca aprimorada de variáveis não inicializadas e análise expandida de estouro de buffers.
Na nova versão:
- Foi adicionada a suporte a visualizações (view) de contêineres — no tag da biblioteca foi adicionado o atributo view, indicando que a classe é uma visualização. O código de análise do tempo de vida foi atualizado para utilizar esse atributo na busca por contêineres ‘pendurados’;
- As verificações foram aprimoradas;
- Os erros acumulados foram corrigidos e os problemas do analisador foram resolvidos.
Fonte: opennet.ru
