[Software] PVS Studio 7.28.78353.681 (2023)

[bairradino]

PVS Studio 7.28.78353.681 (2023)














PVS-Studio é uma ferramenta para detecção de bugs e falhas de segurança no código-fonte de programas, escritos em C, C++, C# e Java. O PVS-Studio realiza análise estática de código e gera um relatório que ajuda o programador a encontrar e corrigir bugs. O PVS-Studio realiza uma ampla gama de verificações de código, também é útil para procurar erros de impressão e erros de copiar e colar. Exemplos de tais erros: V501, V517, V522, V523, V3001.






Idioma: Multi - Ingles
Tamanho:129 MB

Clicar aqui para ver conteúdo escondido (Passar cursor para mostrar conteúdo)

O principal valor da análise estática está no seu uso regular, para que os erros sejam identificados e corrigidos nas fases iniciais. Não faz sentido perder 50 horas procurando um bug que possa ser encontrado com análise estática. Então, vamos ressaltar isso novamente - a ideia principal da análise estática não é encontrar um bug oculto no dia anterior ao lançamento, mas corrigir dezenas de bugs dia após dia.
O analisador pode ser executado à noite no servidor e alertar sobre fragmentos de código suspeitos. Idealmente, esses erros podem ser detectados e corrigidos antes de entrar no repositório. O PVS-Studio pode ser iniciado automaticamente imediatamente após o compilador para os arquivos que acabaram de ser modificados.

Início rápido no Windows
PVS-Studio pode ser integrado ao ambiente de desenvolvimento do Visual Studio 2010-2017. Se você usar este IDE, provavelmente terá apenas que ir ao menu do plugin PVS-Studio e escolher "Verificar Projeto Atual".
Muitas vezes, pode ser um processo mais complicado e você precisará integrar o PVS-Studio em um sistema de construção, mesmo que seja exótico. O tópico da integração é muito amplo para ser descrito aqui. Você pode encontrar todas as informações na documentação detalhada.
Mais um ponto a ser observado - o PVS-Studio para Windows e Linux possui utilitários especiais, coletando informações sobre os lançamentos do compilador. Essas ferramentas permitem fazer uma análise rápida de um projeto que é compilado de todas as formas possíveis. Você pode testar rapidamente as habilidades do analisador, sem perder tempo integrando-o ao makefile ou a um script de construção.

 

 

[cmiguel]

 

[yeti]