lint: commande introuvable

Ubuntu a-t-il un utilitaire de charpie? Comment est-il installé?

En programmation informatique, lint est un utilitaire 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:~$ 

J'essaie d'utiliser des peluches comme ceci:

lint program.c | tee program.lint

Cela affiche la sortie standard de la commande lint program.c sur l'ordinateur et en même temps enregistre une copie dans le fichier program.lint. Si un fichier nommé program.lint existe déjà, il est supprimé et remplacé.

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

La page de manuel qui fait référence à wikipedia est pour BSD, je ne trouve pas de page de manuel pour la variante Linux. Dois-je l'installer, peut-être?

Voir splint- une réécriture GPL de lint.

Cependant, splintne prend pas entièrement en charge C99.

Il est recommandé d'utiliser cppcheck.

De apt-cache search lint

splint - outil pour vérifier statiquement les programmes C pour les bogues.
splint-data - outil de vérification statique des programmes C pour les bogues - fichiers de données
splint-doc-html - outil de vérification statique des programmes C pour les bogues - documentation HTML

Installation

sudo apt-get install splint

Documentation

Pour la documentation, des exemples et les téléchargements, consultez leur site Web à http://www.splint.org .