A program analysis is Interprocedural if the result of an analysis
of one subroutine can be influenced by changes to the body of a
different subroutine. In other words, an Interprocedural program analysis
can reason about subroutine calls.
A program analysis is Intraprocedural if it is not Interprocedural.
Interprocedural analysis of object-oriented code requires a Call Graph to model Dynamic Dispatch.