Splint

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

Splint