lint: nie znaleziono polecenia

9

Czy Ubuntu ma narzędzie do szarpania? Jak to jest zainstalowane?

W programowaniu komputerowym lint jest narzędziem uniksowym.

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

Próbuję użyć kłaczków tak:

lint program.c | tee program.lint

Wyświetla standardowe wyjście polecenia lint program.c na komputerze, a jednocześnie zapisuje jego kopię w pliku program.lint. Jeśli plik o nazwie program.lint już istnieje, jest on usuwany i zastępowany.

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

Strona, do której odwołuje się wikipedia, dotyczy BSD, nie mogę znaleźć strony dla wariantu Linux. Być może muszę go zainstalować?

Thufir
źródło

Odpowiedzi:

15

Zobacz splint- przepisanie GPL lint.

Jednak splintnie w pełni obsługuje C99.

Zalecane jest użycie cppcheck.

UniversallyUniqueID
źródło
7

Od apt-cache search lint

szyna - narzędzie do statycznego sprawdzania programów C pod kątem błędów.
splint-data - narzędzie do statycznego sprawdzania programów C pod kątem błędów - pliki danych
splint-doc-html - narzędzie do statycznego sprawdzania programów C pod kątem błędów - dokumentacja HTML

Instalacja

sudo apt-get install splint

Dokumentacja

Aby uzyskać dokumentację, przykłady i pliki do pobrania, sprawdź ich witrynę internetową pod adresem http://www.splint.org .

Parto
źródło