O lançamento do a versão do analisador de código estático cppcheck 2.6o que permite detectar vários tipos de erros no código C e C ++mesmo ao usar sintaxe não padrão típica de sistemas embarcados.
Uma coleção de plug-ins é fornecida através da qual a integração do cppcheck com vários sistemas de desenvolvimento, integração contínua e teste é fornecida, bem como recursos como verificação da conformidade do código com o estilo de codificação.
Para analisar o código, você pode usar seu próprio analisador e um analisador externo do Clang. Ele também inclui um script donate-cpu.py para fornecer recursos locais para o trabalho colaborativo de revisão de código para pacotes Debian.
O desenvolvimento do cppcheck concentra-se na identificação de problemas associados a comportamento indefinido e o uso de construções perigosas do ponto de vista da segurança.
O objetivo também é minimizar falsos positivos. Entre os problemas identificados: ponteiros para objetos inexistentes, divisão por zero, estouro de inteiros, operações de deslocamento de bits incorretas, conversões incorretas, problemas de memória, uso incorreto de STL, desreferenciamento de ponteiros nulos, aplicação de verificações após um acesso real a um buffer, estourando os limites do buffer, usando variáveis não inicializadas.
Principais novos recursos do cppcheck 2.6
Nesta nova versão se adicionamos várias verificações ao kernel do analisador, entre os quais se destaca a verificação da ausência de declaração de retorno no corpo da função, bem como de registros de dados sobrepostos, definições de comportamento indefinido e também a verificação do valor em comparação está fora do intervalo da representação de o valor do tipo.
Outra novidade que se destaca é o a otimização de cópia não se aplica ao retorno std :: move (local);, além do suporte foi adicionado para exibir mensagens de diagnóstico em cores diferentes para plataformas Unix e que a tag da biblioteca agora pode conter uma tag para ponteiros inteligentes que possuem propriedade exclusiva. O aviso de link pendente agora é emitido para esse tipo de ponteiros inteligentes.
Além disso, Os controles do Misra C 2012 foram totalmente implementados, incluindo a Alteração 1 e a Alteração 2, exceto para as regras 1.1, 1.2 e 17.3. O compilador deve realizar as verificações 1.1 e 1.2. Um compilador como o GCC pode verificar 17.3.
Das outras mudanças que se destacam desta nova versão:
- O arquivo não pode ser aberto simultaneamente para leitura e gravação em fluxos diferentes;
- Adicionada análise simbólica para ValueFlow. Um delta simples é usado ao calcular a diferença entre duas variáveis desconhecidas;
- As regras usadas para a lista de tokens "definir" também podem corresponder a #include;
- A etiqueta da biblioteca agora pode conter uma tag e, portanto, funções livres que podem aceitar recipientes como std :: size, std :: empty, std :: begin, std :: end, etc. você pode especificar yeld ou ação para containers;
- Corrigidos problemas com a manipulação do parâmetro –cppcheck-build-dir;
htmlreport agora pode imprimir informações sobre o autor (usando git blame); - Emissão estendida de avisos sobre variáveis que não são constantes, mas podem se tornar constantes;
- Bugs e deficiências do analisador acumulado foram corrigidos.
Por fim, se você estiver interessado em saber mais sobre esta nova versão, pode consultar os detalhes no link a seguir.
Como instalar o cppcheck no Linux?
Para aqueles que estão interessados em instalar o cppcheck em sua distribuição Linux, eles podem seguir as instruções que compartilhamos abaixo.
Se você for um usuário Debian ou qualquer outra distribuição baseada ou derivada dela, como Deepin ou Ubuntu, você pode instalar diretamente do terminal digitando o seguinte comando:
sudo apt-get install cppcheck
Agora, para aqueles que são usuários do Fedora e aqueles derivados dele, eles podem realizar a instalação digitando o seguinte comando:
sudo yum instalar cppcheck
Ou para aqueles que são usuários do Arch Linux ou qualquer outro derivado dele, eles podem instalar com o seguinte comando:
sudo pacman -S cppcheck