Here's a list. http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analys...

		emmelaich on April 11, 2014 \| parent \| context \| favorite \| on: Frama-C is a suite of tools dedicated to the analy... Here's a list. http://en.wikipedia.org/wiki/List_of_tools_for_static_code_a... but sorry no suggestions or recommendations.