Novo Software de depuração Para David Evans

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