You might also like <a href="http://blog.frama-c.com/index.php?post/2011/04/05/QuickLZ-1" rel="nofollow">http://blog.frama-c.com/index.php?post/2011/04/05/QuickLZ-1</a> and, say, <a href="http://blog.frama-c.com/index.php?post/2011/06/04/Valid-compare-pointers" rel="nofollow">http://blog.frama-c.com/index.php?post/2011/06/04/Valid-comp...</a>
While obviously not as powerful as the presented tool, gcc has a lot of optional warning flags which may be useful. -std=c99 -pedantic might help you avoid the worst compiler-specific features.