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バリアントのマンページは見つかりません。おそらくインストールする必要がありますか?
apt-cache search lint
から
splint-Cプログラムのバグを静的にチェックするツール。
splint-data-Cプログラムのバグを静的にチェックするツール-データファイル
splint-doc-html-Cプログラムのバグを静的にチェックするツール-HTMLドキュメンテーション
Sudo apt-get install splint
ドキュメント、例、およびダウンロードについては、Webサイト http://www.splint.org を確認してください。