Static code analysis : splint

http://en.wikipedia.org/wiki/Splint_(programming_tool)
http://linux.chinaitlab.com/c/737888.html
http://antontw.blogspot.com/2007/02/linux-flawfinder-and-splint.html
http://tech.sina.com.cn/s/2006-08-30/09211110678.shtml
http://cmchao.pixnet.net/blog/post/26306162