Vera++ is a tool for verification, analysis, and transformation of C++ code.
Vera++ is a programmable