http://bitbucket.org/verateam/vera tool for verification, analysis and transformation of C++ source code