- Inicio
- David Evans
- Herramientas de desarrollo
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,...