Our advanced code analysis products are QA·C, QA·C++, and QA·J. They use powerful, proprietary language parsing engines to statically analyze your source code. They identify problems caused by language usage that’s dangerous, overly complex, non-portable, or difficult to maintain. Plus, they include the basic building blocks for coding standard enforcement.

Our coding standard enforcement products, we call them "compliance analyzers", include HIGH·INTEGRITY C, HIGH·INTEGRITY C++, QA·MISRA, and QA·JSF++. They leverage the power of QA·C and QA·C++ to deliver robust enforcement of the respective coding standards. Plus, they are extensible.

Our alliance with Vector adds complementary products that scan your Ada, C/C++ and Embedded C++ (EC++) source code and automatically generate the test code necessary to construct executable test harnesses for both host and embedded environments.