Interprocedural Control Flow Analysis
Understanding the flow of control within a single subprogram is often sufficient for certain local software development tasks such as debugging, but making a major change, such as required to improve program efficiency, may requires a more comprehensive understanding of control flows among the subprograms of a system
Interprocedural control flow analysis is the process of determining the possible control flow paths among a system’s subprograms
This typically involves analyzing the system’s use of invocation and return statements