supported technology: C/C++
Ceedling
Ceedling is a build system for C projects that is something of an extension around Ruby’s Rake (make-ish) build system.…
- Rating
- Views
- 4870
- Rating
- Views
- 3659
CppTest
CppTest is a portable and powerful, yet simple, unit testing framework for handling automated tests in C++. The focus lies…
- Rating
- Views
- 3927
CPUnit
C++ unit test framework, allowing you to write tests with minimal effort. Scales to large projects with thousands of tests.…
- Rating
- Views
- 2774
- Rating
- Views
- 4188
CPAchecker
CPAchecker is a tool for configurable software verification. Our implementation is guided by the concepts described in the CAV’07 paper…
- Rating
- Views
- 3054
TestWorks
TestWorks, an integrated suite of software test tools, is a test tool suite. TestWorks automate and streamline your software development and…
- Rating
- Views
- 3046
Splint
Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes.
- Rating
- Views
- 4515
Squale
To help you deal with the quality of your software developments, the open source Software QUALity Enhancement project (aka Squale) focuses on…
- Rating
- Views
- 3224
Sparse
Sparse, the semantic parser, provides a compiler frontend capable of parsing most of ANSI C as well as many GCC…
- Rating
- Views
- 2758