I am thinking that I want to have the verification "officially" in the next release. If so it would be a new analysis with a fundamentally different philosophy, and I think it could be a good time to name it "Cppcheck-2.0".

My guess right now is that it will take a couple of months of development before verification is really ready for release. So I'd expect that this release will also be delayed.

If you want to work on some other feature that could take a couple of months to develop ... feel free to work on that..