AdaTEST 95
Unit and integration testing tool for Ada 95 on host and embedded targets
Binary Analysis Tool
Framework for inspecting binary code for open source licence compliance (legacy)
Cantata
Unit and integration testing tool for C and C++ on host and embedded targets
ECLAIR Software Verification Platform
Static analysis and verification platform for C and C++
Laika
Interoperability and certification testing framework for EHR systems
LDRAcover
Stand-alone structural code coverage tool