lint: comando não encontrado

Question

O Ubuntu tem um utilitário de fiapos? Como é instalado?

  

Na programação de computadores, o lint é um utilitário Unix.

link

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 da seguinte forma:

  

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 dele no arquivo   program.lint. Se um arquivo chamado program.lint já existir, é   excluídos e substituídos.

link

A página manp que as referências da Wikipédia são para o BSD, não consigo encontrar uma manpage para a variante do Linux. Preciso instalá-lo, talvez?

    

Answer 1

Veja splint - uma reescrita GPL de lint .

No entanto, splint não suporta totalmente o C99.

Recomenda-se usar cppcheck .

    

Answer 2

De apt-cache search lint

  

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

Instalação

sudo apt-get install splint

Documentação

Para documentação, exemplos e downloads, verifique o site deles no link .