Static Structure Analysis & Quality Measure Logiscope (Telelogic) McCabe IQ (McCabe) Qac (PR) Panorama (ISA) Testbed (LDRA)
Code Check C Test, Jtest (Parasoft) rulechecker (Compuware) Qac (PR) PC-LINT (GIMPEL) Testbed (LDRA
Function confirmation and interface Test Cantata (IPL) Vectorcast (Vectorcast) Rational RTRT (IBM) Testbed (LDRA)
Cover Analysis Cantata (IPL) VECTORCAST (VECTORCAST) Rational PureTest (metrowerks) Truecoverage (Compuware) Testbed (LDRA)
Performance Analysis Rational Quantify (IBM) Codetest (Metrowerks) Truetime (Compuware)
Memory Analysis Rational Purify (IBM) Codetest (Metrowerks) Boundschecker (Compuware) Polyspace (POLYSPACE)