VirtualTam's bookmarks

1. verateam / vera++ / wiki / Home — Bitbucket

   2016-08-15
   coding continuous-integration programming/c++ static-analysis/lint style

   Permalink

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