Posted by John Viega on Sun, Aug 31, 2003 (03:48 PM) GMT

A tool for checking C code (particularly Linux kernel code) for bugs. It's programmable (checks can be written in Perl or Python). The web site has a few security-related checking scripts, but they don't get too much more sophisticated than tools like RATS (though you could certainly build better checks yourself).