Kickstarter: Software verification 1

I have launched one more Kickstarter project.

This project is about "Software verification". A new analysis mode that will be added in Cppcheck later.

It will make it possible to detect much more bugs.

Here is the link:
https://www.kickstarter.com/projects/3300446/software-verification-1