News for hackers. Stuff that matters.

A comment on Frama-C is a suite of tools dedicated to the analysis of software written in C. Parent comment

Re:Frama-C is a suite of tools dedicated to the analysis of ... by conductor on Friday April 11, 2014 @06:48PM (#7576049)
Cppcheck - http://cppcheck.sourceforge.net/
[ Parent | on HN ]
Re:Frama-C is a suite of tools dedicated to the analysis of ... by rhth54656 on Saturday April 12, 2014 @01:30AM (#7577077)
Thanks, I just tried it and it found an assignment in an assertion that the compiler didn't warn because it wasn't an if statement.

I ran it over a couple of old finished projects and it found a problem in each one. Awesome.

Unfortunately it misses a class of errors memcpy would do,( similar to heartbleed ) , if copy size is determined at runtime.

[ Parent | on HN ]