Splint 3.1.1

férula es una herramienta para comprobar estáticamente programas en C para las vulnerabilidades de seguridad y errores de programación.Férula hace muchos de los tradicionales controles pelusa incluyendo declaraciones no utilizados, inconsistencias tipo,...