Cppcheck v2.1 Release Notes

Release Date: 2020-06-13 // 10 months ago
  • ๐Ÿš€ This is a minor release.

    ๐Ÿ— We have tweaked build scripts.

    • ๐Ÿ‘ When you use USE_Z3=yes, we will handle new versions of z3 better. If you have an old z3 library and get compilation problems you will need to add a z3_version.h in externals.
    • โšก๏ธ The cmake scripts was updated.

    ๐Ÿ›  There was a couple of bug fixes.

    ๐Ÿ†• New check:

    • for "expression % 1" the result is always 0.