c - lint をダウンロードしてインストールするにはどうすればよいですか?

Question

Mac、Windows、および Linux 用の lint を入手する方法を知っている人はいますか? sudo port install lint見つかりません。

Answer 1

BSD の lint しか見たことがありません。splintがありますが、GPL lint の書き換えであり、ほとんどの Linux ディストリビューションで利用できます。

Answer 2

スプリント FAQ から:

Splint は、ANSI C に対する C99 拡張機能のほとんどをサポートしていますが、すべてではありません。

これは、スプリントが糸くずと同じではないことを意味します。私は、次のようなコードで splint を実行した経験があります。

for (int i; i < 100; i++)
    /* Run code */

この例のように、for ループ ヘッダー内での変数の宣言は C99 まで許可されないため、splint はこれについて文句を言います。したがって、私はまだ Ubuntu のスプリントに代わる良い方法を探しています。