Descrição
Programas C e C++ podem ser analisados contra possíveis erros de execução antes de serem entregues ou rodarem em produção.
É útil para desenvolvedores e equipes focadas em segurança que procuram defeitos como overflows, acesso inválido à memória ou problemas de assert. Análise estática pode gerar falsos positivos, então achados precisam de revisão.