CDFA: a testing system for C++

CDFA is a dynamic data flow analysis system for testing C++ programs. It instruments C++ programs with code that reports actions on data. The instrumented program is executed and monitored for anomalies. To effectively test C++ programs, CDFA incorporates extended actions, extended state transition diagrams, implicit state variables, functional instrumentation and object-based instrumentation.