Vera++ is a programmable tool for verification, analysis and transformation of C++ source code. - View it on GitHub