About: Lint

lint とは、主にC言語のソースコードに対し、コンパイラよりも詳細かつ厳密なチェックを行うプログラムである。静的解析ツールとも呼ばれる。 * 型の一致しない関数呼び出し * 初期化されていない変数の参照がある * 宣言されているが使われていない変数がある * 同じ関数を参照しているが、戻り値を使う場合と使わない場合がある * 関数が戻り値を返す場合と返さない場合がある など、コンパイラではチェックされないが、バグの原因になるような曖昧な記述についても警告される。構文（シンタックス）レベルのチェックだけでなく、意味（セマンティクス）レベルのチェックまで実行するものもある。