lint: perintah tidak ditemukan

Apakah Ubuntu memiliki utilitas serat? Bagaimana cara menginstalnya?

Dalam pemrograman komputer, lint adalah utilitas 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:~$ 

Saya mencoba menggunakan serat sebagai berikut:

lint program.c | program tee

Ini menampilkan output standar dari perintah lint program.c di komputer, dan pada saat yang sama menyimpan salinannya di file program.lint. Jika file bernama program.lint sudah ada, itu dihapus dan diganti.

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

Halaman manual yang referensi wikipedia adalah untuk BSD, saya tidak dapat menemukan halaman manual untuk varian Linux. Apakah saya perlu menginstalnya, mungkin?

Lihat splint- penulisan ulang GPL dari lint.

Namun, splintC99 tidak sepenuhnya mendukung.

Dianjurkan untuk digunakan cppcheck.

Dari apt-cache search lint

belat - alat untuk memeriksa secara statis program C untuk bug.
splint-data - alat untuk memeriksa program C untuk bug secara statis - file data
splint-doc-html - alat untuk memeriksa program C untuk bug secara statis - dokumentasi HTML

Instalasi

sudo apt-get install splint

Dokumentasi

Untuk dokumentasi, contoh dan unduhan, periksa situs web mereka di http://www.splint.org .