VirtualTam's bookmarks

1. verateam / vera++ / wiki / Home — Bitbucket 2016-08-15

   tags: coding, continuous-integration, programming/c++, static-analysis/lint, style

   [ permalink ]

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