Lintlint とは、主にC言語のソースコードに対し、コンパイラよりも詳細かつ厳密なチェックを行なうプログラムである。静的解析ツールとも呼ばれる。以下に挙げるように、コンパイラではチェックされないが、バグの原因になるような曖昧な記述についても警告される。構文(シンタックス)レベルのチェックだけでなく、意味(セマンティクス)レベルのチェックまで実行するものもある。
lintは、もともと「糸くず」や「綿ぼこり」といった意味を持つ英単語である[1]。 lintで警告が出る例int foo(int count) {
int sum = 0;
int i;
for (i = 1; i <= count; ++i) {
sum += i;
}
if (sum >= 100) {
return sum;
}
}
上記の例の場合、 ただ、最近[いつ?]のコンパイラは、細かな警告やエラーを出す機能が強化されているため、以前は lint を使わなければ検出できなかった類のミスも、コンパイル段階で検出できるようになっているものがある。上記の例は、Microsoft Visual C++では既定で C4715 の警告が生成され、コンパイルオプション 後発のプログラミング言語では安全性を考慮して、上記のようなコードを常に非合法とし、必ずコンパイルエラーにしてしまう仕様となっているもののほうが多い。C言語およびC++では、仕様により動作が厳密に規定されていない事項(未規定動作、処理系定義動作、未定義動作)が非常に多く、そのためコンパイラやlintによる警告に頼らなければならないことが多い。 「lint」の派生用法転じて、C言語に限らず、各種プログラミング言語で書かれたコードに対して構文チェックや静的解析を行なうプログラムも、lintと呼ばれるようになった。この意味でのlintの代表例としては、HTMLの構文チェックを行なうAnother HTML-lintがある。Android StudioではJavaおよびKotlinで書かれたコードに対して静的解析を実行するツールとしてlintが利用可能である[2][注釈 1]。 また、コードをチェック・解析する動作をlint/linting[4]、lintを行なうプログラムをlinterと呼ぶこともある[5]。ClangベースのC++ linterとしては、Clang-Tidyがある[6]。 コンパイラが存在する言語の場合、静的コード解析にコンパイラとlinterを併用することで、字句/構文チェックと意味論的チェックを実現できる。コードエディター上でリアルタイムに動作するlinterを利用すれば、コーディングしながら常時lintingを行なえる。例えばVisual Studio Code上でTypeScriptコードを書く場合、字句/構文チェックを担う lintingを行なっても即座にバグが発見されるわけではない。lintingの主な目的は低品質コードの検出によるバグの予防である。言語構文に合致しているコードはコンパイルエラーにならないが、実行時エラーや意図しない動作、あるいはメンテナンス性や移植性の低下などの潜在的問題を引き起こす可能性のあるコードはlintエラーになることがある。また、linterの出す警告は一般的なコンパイラ警告よりも細やかな分析結果となる。linterは「エラーをしばしば引き起こすパターン[9]」あるいは「エラーを避けるベストプラクティスパターン[10]」を用いて品質の低いコードを検出する。検出された低品質コードを改善することにより、バグが埋め込まれる可能性を低減しバグを予防できる。 脚注注釈
出典
関連項目外部リンク |