vera++
Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.
Workflow integration:
- cli
https://bitbucket.org/verateam/vera/src/master
BSL-1.0 (original text)
Maintained
Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.
https://bitbucket.org/verateam/vera/src/master
BSL-1.0 (original text)
Maintained