web-dev-qa-db-ja.com

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バリアントのマンページは見つかりません。おそらくインストールする必要がありますか?

8
Thufir

splint-lintのGPL書き換えを参照してください。

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

cppcheckを使用することをお勧めします。

13

apt-cache search lintから

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

Installation

Sudo apt-get install splint

ドキュメンテーション

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

7
Parto