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