operating system: Mac OS

Static code analysis finds defects and security vulnerabilities in source code without executing the code. Also known as Static Application…

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

Static analysis of C/C++ code

Read More

A lightweight framework for regression testing of Cascading Style Sheets. CSS Critic checks your current layout constantly against a reference…

Read More

Review code, discuss changes, share knowledge, and identify defects across SVN, Git, Mercurial, CVS, and Perforce.

Read More

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

Read More

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

Read More

CFUnit is a unit testing framework for ColdFusion (CFML), modeled after the popular JUnit framework. CFUnit is an Open Source…

Read More

Automated mock and stub generation for C

Read More

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

Read More