Splint - Static C code auditing tool

From: Hoshi Sepai (h.sepai@mdx.ac.uk)
Date: 05/21/02 

Date: Tue, 21 May 2002 14:16:47 +0100
From: Hoshi Sepai <h.sepai@mdx.ac.uk>
To: Crispin Cowan <crispin@wirex.com>

Hello Crispin

I came across a Web site for a tool called Splint. Splint is designed
to statically analyse C code for security vulnerabilities and
programming mistakes. As I haven't seen it listed among the
resources on Sardonix's Web site I thought I'd check whether you
had come across it. The links page includes several URLs for
related projects.

http://www.splint.org/

Hoshi

Hoshi Sepai e-mail: h.sepai@mdx.ac.uk
Middlesex University
London, UK