lint: comando não encontrado

O Ubuntu tem um utilitário de cotão? Como é instalado?

Na programação de computadores, o lint é um utilitário 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:~$ 

Estou tentando usar o fiapo assim:

lint program.c | tee program.lint

Isso exibe a saída padrão do comando lint program.c no computador e, ao mesmo tempo, salva uma cópia no arquivo program.lint. Se um arquivo chamado program.lint já existir, ele será excluído e substituído.

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

A página de manual que a Wikipedia faz referência ao BSD, não consigo encontrar uma página de manual para a variante do Linux. Preciso instalá-lo, talvez?

Veja splint- uma reescrita de GPL lint.

No entanto, splintnão oferece suporte completo ao C99.

É recomendável usar cppcheck.

De apt-cache search lint

splint - ferramenta para verificar estaticamente os programas C em busca de bugs.
splint-data - ferramenta para verificar estaticamente programas em busca de bugs - arquivos de dados
splint-doc-html - ferramenta para verificar estaticamente programas em busca de bugs - documentação em HTML

Instalação

sudo apt-get install splint

Documentação

Para documentação, exemplos e downloads, consulte o site em http://www.splint.org .