Description

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

Categorías