2
Splint es una herramienta para verificar estáticamente los programas de C en busca de vulnerabilidades de seguridad y errores de codificación.Con un esfuerzo mínimo, Splint se puede usar como una mejor pelusa.Si se invierte un esfuerzo adicional agregando anotaciones a los programas, Splint puede realizar una verificación más fuerte que cualquier pelusa estándar.