News for hackers. Stuff that matters.
Re:Frama-C is a suite of tools dedicated to the analysis of ... by emmelaich on Friday April 11, 2014 @05:12PM (#7575668)
Here's a list.

http://en.wikipedia.org/wiki/List_of_tools_for_static_code_a...

but sorry no suggestions or recommendations.

There are no comments on this comment yet.