プログラム解析ツール● 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 以
