The internal program representation ... a dependency graph that represent the data and control flow dependencies between nodes, statements. It must also play a role in software testing.