Test Coverage

Semantic Designs supplies test coverage tools for procedural languages, including C, C++, Java, C#, PHP and others. They collect branch coverage, which subsumes statement coverage, to show which parts of an application were executed by a test suite; they can also be used to locate application functionality.

They are commercial products by Semantic Designs.