● Splint (Secure Programming Lint), Annotation-Assisted Lightweight Static Checking http://lclint.cs.virginia.edu/ Splint(LCLint) は静的に C プログラムをチェックするツール。手間をほとんどかけなくても、LCLint は優れた lint(次項)として利用でき、さらにプログラムに注釈を加えれば、標準的な lint が行うどんなチェックより強力にチェックを行う。たとえば、バッファオーバーフローが起こりそうなところを静的に検出するのに利用できる。ソフトウェアのライセンスは GPL 。 以下のダウンロードが可能。 Source Code (Splint は、スタンダードの C コンパイラを持つどの版の UNIX システムでもコンパイル可能。Splintを UNIX 以