Open source version of SourceMonitor

a structural diff that understands syntax 🟥🟩

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Python library and command line tool for interacting with Bugzilla

Splint - annotation-assisted static program checker

TestLink Open Source Test & Requirement Management System

static analysis of C/C++ code

Tup is a file-based build system.

Requirement Traceability Tool