splint
Herramienta para comprobar estáticamente programas C en busca de vulnerabilidades de seguridad y errores de codificación sin ejecutar ni compilar.
Ejemplo en C de una variable sin inicializar
$ nano programa.c
/* sin_iniciar.c */
int main(void)
{
int x;
return x; /* x nunca se asignó: valor indeterminado */
}
$ splint programa.c
analizar un fichero
$ splint -strict programa.c
nivel máximo de comprobaciones
$ splint -weak prog.c
menos ruido
$ splint -checks prog.c
nivel intermedio
$ splint -strict prog.c
todo muy estricto
$ splint -posix-lib p.c
usar su biblioteca anotada de POSIX