lint: comando non trovato


9

Ubuntu ha un'utilità lanugine? Come è installato?

Nella programmazione per computer, lint è un'utilità 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:~$ 

Sto cercando di usare lint in questo modo:

lint program.c | tee program.lint

Questo visualizza l'output standard del comando lint program.c sul computer e allo stesso tempo ne salva una copia nel file program.lint. Se esiste già un file denominato program.lint, viene eliminato e sostituito.

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

La manpage a cui fa riferimento Wikipedia è per BSD, non riesco a trovare una manpage per la variante Linux. Devo installarlo, forse?


Risposte:



7

A partire dal apt-cache search lint

splint - strumento per il controllo statico dei programmi C per i bug.
splint-data - strumento per il controllo statico dei programmi C per bug - file di dati
splint-doc-html - strumento per il controllo statico dei programmi C per bug - Documentazione HTML

Installazione

sudo apt-get install splint

Documentazione

Per documentazione, esempi e download, consultare il sito Web all'indirizzo http://www.splint.org .

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.