Useful Improvements in the PVS-Studio 6.17 Release
In this version there are improvements, which, in my opinion, deserve a small note.
Useful Improvements in the PVS-Studio 6.17 Release
by Andrey Karpov
From the article:
A much more interesting feature is that a mechanism of virtual values was significantly redesigned in the kernel of C++ analyzer. For example, now the analyzer performs a double loop passage, which allows it to define the range of possible values of variables, changing in a loop, more accurately. So don't be surprised if the analyzer starts issuing many warnings for that code which used to seem correct for the analyzer.

Have you registered for CppCon 2017 in September?