supported technology: C/C++

Ceedling is a build system for C projects that is something of an extension around Ruby’s Rake (make-ish) build system.…

Read More

Automated mock and stub generation for C

Read More

CppTest is a portable and powerful, yet simple, unit testing framework for handling automated tests in C++. The focus lies…

Read More

C++ unit test framework, allowing you to write tests with minimal effort. Scales to large projects with thousands of tests.…

Read More

Static analysis of C/C++ code

Read More

CPAchecker is a tool for configurable software verification. Our implementation is guided by the concepts described in the CAV’07 paper…

Read More

TestWorks, an integrated suite of software test tools, is a test tool suite. TestWorks automate and streamline your software development and…

Read More

Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes.

Read More

To help you deal with the quality of your software developments, the open source Software QUALity Enhancement project (aka Squale) focuses on…

Read More

Sparse, the semantic parser, provides a compiler frontend capable of parsing most of ANSI C as well as many GCC…

Read More