AdaTEST, AdaTEST95
|
IPL
|
Static analysis of Ada code.
|
Cantata, Cantata++
|
IPL
|
Produces code metrics. Cantata++ includes OO (Object Oriented) metrics.
|
CheckMate
|
Sybernet
|
Programmable static analysis for C and Java.
|
CodeWizard
|
Parasoft
|
Coding standard enforcement for C/C++ and gcc/g++ for embedded systems
|
Data
|
McCabe
|
Identifies data and parameters of code modules (used for data coverage).
|
Discover
|
Software Emancipation Technology
|
Produces “Information Model” of code data.
|
JTest
|
Parasoft
|
Static analysis of Java code against standards generated using RuleWizardTM
|
Logiscope
|
Telelogic
|
Analyses code quality against factors in a quality model. Produces Kiviat diagrams, charts, structure diagrams.
|
METRIC
|
Software Research
|
Code metrics.
|
OO
|
McCabe
|
Produces Object oriented metrics.
|
PREfix
|
Intrinsa
|
Simulation of component interaction with files, memory and code libraries.
|
Reasoning5 CBMS (Code Based Management System)
|
Reasoning
|
Control flow and data flow analysis
|
RuleChecker
|
Telelogic
|
Checks code against defined rules
|
Standards
|
Cyrano
|
Checks defined development standards for PowerBuilder and Oracle.
|
STATIC
|
Software Research
|
Extended checking (from most compilers) of C code
|
Testbed
|
LDRA
|
Includes checking to the MISRA Safe C standard.
|
WinScope
|
Cyrano
|
Monitors standards and provides metrics for PowerBuilder and Oracle.
|
