Frama-C http://frama-c.com Open source static analyser by CEA http://www.cea.fr/, LIST group. The French are good at static analysis.