cppcheck-1.64 has been released.

Value Flow

A new value flow analysis has been added. It is generic so the same analysis can be reused by various checkers - previously many checkers have had their own value flow and control flow analysis. The new value flow analysis performs context sensitive cross-function analysis. All checkers that uses this will automatically have cross-function context sensitive value flow analysis. The new analysis is gradually introduced in the checkers - the old analysis in a checker is kept until it is redundant.

The new value flow analysis is so far used to detect:

  • division by zero
  • null pointer dereference
  • array index out of bounds
  • invalid function argument

Other Improvements

  • Improved configurations for gtk, posix, sdl, std, windows
  • Warn when using negative allocation size
  • Check 2nd parameter for memset
Posted by Daniel Marjamäki 2014-03-02
  • w-peuker

    w-peuker - 2014-03-03

    Great to know :) Sadly, there is still the 1.63.1 version for download :(

    Edit: It's all fine now :)

    Last edit: w-peuker 2014-03-04

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks