Cppcheck 2.0 release as announced is now available for download. It comes with a couple of fixes and new features.
There is a new dependency on the Z3 flag when compiling. Therefore it is recommended to set
With clang-tidy integration there is improved parsing, detection of more bugs with existing checks, and fixes to false alarms.
There is now an option to use the Clang parser instead of the Cppcheck internal parser, the latter of which is still the preferred parser to use.
Improved analysis with the “soundy” option should help detect most bugs now with possible false alarms.
There is a new checker that checks for division by zero. These include “integer division by zero” bugs in the Juliet test suite and “division by zero” bugs in the ITC test suite.
You can download the latest copy of the Cppcheck 2.0 release from the official source code repository here.