GitHub repository: tastyworks/vera
Primary language: C++
Description: A programmable tool for verification, analysis and transformation of C++ source code