pelusa: comando no encontrado

9

¿Ubuntu tiene una utilidad de pelusa? ¿Cómo se instala?

En la programación de computadoras, lint es una utilidad de Unix.

https://en.wikipedia.org/wiki/Lint_%28software%29

thufir@mordor:~$ 
thufir@mordor:~$ gcc program.c -o prog
program.c:5:1: warning: return type defaults to int [-Wimplicit-int]
 main()
 ^
thufir@mordor:~$ 
thufir@mordor:~$ ./prog

Hello World

thufir@mordor:~$ 
thufir@mordor:~$ lint program.c
No command 'lint' found, did you mean:
 Command 'line' from package 'util-linux' (main)
 Command 'jlint' from package 'jlint' (universe)
 Command 'link' from package 'coreutils' (main)
 Command 'dlint' from package 'dlint' (universe)
 Command 'lift' from package 'lift' (universe)
 Command 'tint' from package 'tint' (universe)
 Command 'hlint' from package 'hlint' (universe)
lint: command not found
thufir@mordor:~$ 

Estoy tratando de usar pelusa así:

lint program.c | tee program.lint

Esto muestra la salida estándar del comando lint program.c en la computadora, y al mismo tiempo guarda una copia en el archivo program.lint. Si ya existe un archivo llamado program.lint, se elimina y se reemplaza.

https://en.wikipedia.org/wiki/Tee_%28command%29#Unix-like_2

La página de manual que hace referencia Wikipedia es para BSD, no puedo encontrar una página de manual para la variante de Linux. ¿Necesito instalarlo, tal vez?

Thufir
fuente

Respuestas:

15

Ver splint- una reescritura de GPL de lint.

Sin embargo, splintno es totalmente compatible con C99.

Se recomienda su uso cppcheck.

ID universalmente único
fuente
7

Desde apt-cache search lint

férula: herramienta para comprobar estáticamente los programas de C en busca de errores.
splint-data - herramienta para verificar estáticamente los programas C para errores - archivos de datos
splint-doc-html - herramienta para verificar estáticamente los programas C para errores - documentación HTML

Instalación

sudo apt-get install splint

Documentación

Para obtener documentación, ejemplos y descargas, consulte su sitio web en http://www.splint.org .

Parto
fuente