Descrição
Analisa programas C em busca de possíveis problemas de segurança, incompatibilidades de anotações e erros de código antes da execução. Desenvolvedores usam a ferramenta para revisar uso de memória, contratos e padrões perigosos em projetos C.
Análise estática ajuda a encontrar problemas, mas não prova que um programa é seguro. Trate achados como entrada de revisão e ainda execute testes, fuzzing e auditorias manuais em código sensível.