Splint

The Drizzle Wiki has moved! Click here for the new page.

Splint is a static source code analysis tool. It is extremely picky but does crazy amounts of path analysis that could be very beneficial.