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?
command-line
programming
c
coreutils
tee
Thufir
la source
la source
Réponses:
Voir
splint
- une réécriture GPL delint
.Cependant,
splint
ne prend pas entièrement en charge C99.Il est recommandé d'utiliser
cppcheck
.la source
De
apt-cache search lint
Installation
Documentation
Pour la documentation, des exemples et les téléchargements, consultez leur site Web à http://www.splint.org .
la source