Splint

Tala é uma ferramenta para verificar estaticamente C programas para vulnerabilidades de segurança e erros de programação.
Tala faz muitas das verificações lint tradicionais, incluindo declarações não utilizados, tipo de inconsistências, o uso antes da definição, código inacessível, valores de retorno ignorados, caminhos de execução sem retorno, loops infinitos provável, e cair casos.
Controlos mais potentes são possíveis por informação adicional prestada nas anotações de código fonte. As anotações são comentários estilizados que documentos suposições sobre funções, variáveis, parâmetros e tipos.
Além das verificações especificamente habilitados por anotações, muitos dos controlos lint tradicionais são melhoradas através da exploração dessas informações adicionais.
À medida que mais esforço é colocado em programas de anotação, melhores resultados de verificação. Uma curva de esforço-benefício representativa para a utilização de tala é mostrado na Figura 1.
Splint é projetado para ser flexível e permitir que os programadores para selecionar pontos apropriados sobre a curva de esforço-benefício para projectos específicos.
Como diferentes controlos estão ligados e mais informação é dada no código anotações do número de bugs que podem ser detectados aumenta dramaticamente.
Os problemas detectados por Splint incluem: