charpie: commande non trouvée
Ubuntu a-t-il un utilitaire pour les peluches? 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:
charpie programme.c | tee programme.lint
Ceci affiche la sortie standard de la commande lint program.c sur l'ordinateur et enregistre simultanément 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 référencée par wikipedia concerne BSD. Je ne trouve pas de page de manuel pour la variante Linux. Dois-je l'installer, peut-être?
De apt-cache search lint
attelle - outil pour vérifier statiquement les programmes C pour les bugs.
splint-data - outil de vérification statique de bogues dans les programmes en C - fichiers de données
splint-doc-html - Outil de vérification statique de bogues dans les programmes C - Documentation HTML
Installation
Sudo apt-get install splint
Documentation
Pour la documentation, des exemples et les téléchargements, visitez leur site Web à l’adresse http://www.splint.org .