SOCI-Ada is a database access library for Ada, based on the SOCI project.
Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.