Splint

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, uso antes de definición, código inalcanzable, valores de retorno ignorados, rutas de ejecución sin retorno, bucles infinitos probable, y caer a través de los casos.
Son posibles controles más potentes con información adicional que figura en las anotaciones de código fuente. Las anotaciones son comentarios estilizados que los supuestos documentos acerca de las funciones, variables, parámetros y tipos.
Además de los controles habilitados específicamente por anotaciones, muchos de los cheques pelusa tradicionales se mejoran mediante la explotación de esta información adicional.
Como se pone en los programas de anotar, mejores resultados de cheques más esfuerzo. Una curva de esfuerzo-beneficio de representación para el uso de férula se muestra en la Figura 1.
Férula está diseñado para ser flexible y permitir a los programadores para seleccionar los puntos correspondientes de la curva de esfuerzo-beneficio para proyectos particulares.
Como diferentes controles se activan y más información se da en código anotaciones el número de errores que se pueden detectar aumenta dramáticamente.
Los problemas detectados por férula incluyen: