Splint

Splint 3.1.1

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...