vera++
Programmable verification and analysis tool for C++
Install
- All systems
-
curl cmd.cat/vera++.sh
- Debian
-
apt-get install vera++ - Ubuntu
-
apt-get install vera++ - Kali Linux
-
apt-get install vera++ - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install vera++ - OS X
-
brew install vera++ - Raspbian
-
apt-get install vera++ - Dockerfile
- dockerfile.run/vera++
vera++
Programmable verification and analysis tool for C++
Vera++ is a programmable tool for verification, analysis and transformation of C++ source code. Vera++ is mainly an engine that parses C++ source files and presents the result of this parsing to scripts in the form of various collections - the scripts are actually performing the requested tasks.