lint：コマンドが見つかりません

Ubuntuにはlintユーティリティがありますか？どのようにインストールされますか？

コンピュータプログラミングでは、lintは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:~$ 

私はlintをそのように使用しようとしています：

lint program.c | tee program.lint

これにより、コンピューターでコマンドlint program.cの標準出力が表示され、同時にそのコピーがファイルprogram.lintに保存されます。program.lintという名前のファイルがすでに存在する場合、そのファイルは削除されて置き換えられます。

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

ウィキペディアが参照しているマンページはBSD用ですが、Linuxバリアントのマンページが見つかりません。おそらくインストールする必要がありますか？

参照splint-GPLの書き換えlint。

ただし、splintC99を完全にはサポートしていません。

の使用をお勧めしますcppcheck。

から apt-cache search lint

splint-Cプログラムのバグを静的にチェックするためのツール。
splint-data-Cプログラムのバグを静的にチェックするツール-データファイル
splint-doc-html-Cプログラムのバグを静的にチェックするツール-HTMLドキュメント

取り付け

sudo apt-get install splint

ドキュメンテーション

ドキュメント、例、およびダウンロードについては、http：//www.splint.orgの Webサイトを確認してください。