supported technology: C/C++

Implementing state of the art technology, BUGSENG designed ECLAIR Software Verification Platform®, for the automatic verification of C and C++…

Read More

The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs.

Read More

VectorCAST is a highly automated unit and integration test solution used by embedded developers to validate safety and business critical…

Read More

Parasoft® C/C++test® is an integrated Development Testing solution for automating a broad range of testing best practices proven to improve…

Read More

ConQAT is a toolkit for rapid development and execution of software quality analyses. Integrated visualization of diverse quality characteristics for software…

Read More

At the heart of the LDRA tool suite is the LDRA Testbed, which provides the core static and dynamic analysis…

Read More

A C testing library in 1 file. No dependencies, no dynamic allocation. ISC licensed.

Read More

Testwell CMT++ analyse your applications for the following metrics: Lines-of-code Metrics (LOC) Halstead-Metrics McCabe Cyclomatic Number v(G) Maintainability Index

Read More

This package, simplectest, is a simple testing framework for C and C++.

Read More

DynamoRIO is a runtime code manipulation system that supports code transformations on any part of a program, while it executes.…

Read More