verateam/vera

A programmable tool for verification, analysis and transformation of C++ source code

C++BSL-1.0