This analysis is a directed graph, which is a one-to-one reprensetaiton of the control structure of source code. It contains the following elements:
Nodes
which represent exeuction steps of an application, e.g.:
- Start
Edges
which define branching of program workflows, e.g.:
- IF
Benefits
- Evaluation of workflows are simplified
- Identification of anomalies, such as “dead code” and complex sub-graphs
Disadvantages
- Conditions of branches are ignored
- Data flow is ignored