fussel: Befehl nicht gefunden

Hat Ubuntu ein Flusen-Dienstprogramm? Wie ist es installiert?

In der Computerprogrammierung ist Lint ein Unix-Dienstprogramm.

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:~$ 

Ich versuche, Flusen so zu verwenden:

Flusenprogramm.c | tee program.lint

Dies zeigt die Standardausgabe des Befehls lint program.c auf dem Computer an und speichert gleichzeitig eine Kopie davon in der Datei program.lint. Wenn bereits eine Datei mit dem Namen program.lint vorhanden ist, wird diese gelöscht und ersetzt.

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

Die Manpage, auf die Wikipedia verweist, ist für BSD. Ich kann keine Manpage für die Linux-Variante finden. Muss ich es vielleicht installieren?

Siehe splint- eine GPL-Umschreibung von lint.

Allerdings splintunterstützen nicht vollständig C99.

Es wird empfohlen, zu verwenden cppcheck.

Von apt-cache search lint

Schiene - Tool zum statischen Überprüfen von C-Programmen auf Fehler.
splint-data - Tool zum statischen Überprüfen von C-Programmen auf Fehler - Datendateien
splint-doc-html - Tool zum statischen Überprüfen von C-Programmen auf Fehler - HTML-Dokumentation

Installation

sudo apt-get install splint

Dokumentation

Dokumentation, Beispiele und Downloads finden Sie auf der Website unter http://www.splint.org .