Coverity Scan

Coverity Scan

A Análise estática do Coverity Scan permite encontrar e corrigir defeitos em seu projeto de código aberto Java, C / C ++ ou C # gratuitamente.
A Análise estática do Coverity Scan permite encontrar e corrigir defeitos em seu projeto de código aberto Java, C / C ++ ou C # gratuitamente.Ele testa todas as linhas de código e possíveis caminhos de execução.A causa raiz de cada defeito é explicada claramente, facilitando a correção de bugs.Em 2006, o serviço Coverity Scan foi iniciado com o Departamento de Segurança Interna dos EUA como o maior projeto de pesquisa do setor público-privado do mundo, focado na qualidade e segurança de software de código aberto.A Coverity agora gerencia o projeto, fornecendo sua tecnologia de teste de desenvolvimento como um serviço gratuito para a comunidade de código aberto para ajudá-los a criar qualidade e segurança em seu processo de desenvolvimento de software.... Para obter uma lista de projetos de código aberto usando o Coverity, consulte:
coverity-scan

Local na rede Internet:

Categorias

Alternativas ao Coverity Scan para todas as plataformas com qualquer licença

Cppcheck

Cppcheck

Cppcheck é uma ferramenta de análise estática para código C / C ++.Ao contrário dos compiladores C / C ++ e de muitas outras ferramentas de análise, ele não detecta erros de sintaxe no código.
PVS-Studio

PVS-Studio

O PVS-Studio é um analisador estático que detecta erros no código fonte de aplicativos C, C ++ e C #.
Flawfinder

Flawfinder

O Flawfinder examina o código-fonte e relata possíveis falhas de segurança (`` falhas '') classificadas por nível de risco.
Splint

Splint

O Splint é uma ferramenta para verificar estaticamente os programas C quanto a vulnerabilidades de segurança e erros de codificação.Com um esforço mínimo, o Splint pode ser usado como um cotão melhor.
lgtm.com

lgtm.com

lgtm.com é uma plataforma para análise de código.É gratuito para uso em software de código aberto;resultados para mais de 55 mil projetos estão prontamente disponíveis (adicione o seu!), possui integração automática de solicitação de solicitação de revisão de código (GitHub, Bitbucket, GitLab) e muito mais.
Clang Static Analyzer

Clang Static Analyzer

O Clang Static Analyzer é uma ferramenta de análise de código fonte que encontra bugs nos programas C, C ++ e Objective-C.
Infer

Infer

O Facebook Infer é uma ferramenta de análise estática - se você der ao Infer algum código Objective-C, Java ou C, ele produzirá uma lista de possíveis bugs.
EDoC++

EDoC++

EDoC ++ é uma ferramenta de análise de origem C ++ projetada para identificar problemas associados ao uso de exceções no código C ++.