A form of static analysis based on a representation of unique paths (sequences of events) in the execution through a component or system. Control flow analysis evaluates the integrity of control flow structures, lookingfor possible control flow anomalies such as closed loops or logically unreachable process steps.
Terms of Software Testing (ISTQB)