2
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.Se um esforço adicional for investido na adição de anotações aos programas, o Splint poderá executar uma verificação mais forte do que qualquer fiapo padrão.
splint