For better precision, we need interprocedural analysis: propagate data-flow information along interprocedural control-flow edges (i.e., call and return edges).

So far, all analysis we learnt are intraprocedural, How to deal with method calls?

• Make the most conservative assumption for method calls, for safe-approximation.
• Source of imprecision.
• n = NAC; x = NAC, y = NAC.

Call Graph Construction (CHA)

A representation of calling relationships in the program. Essentially, a call graph is a set of call edges from call-sites to their target methods (callees).

Call Graph Construction for OOPLs (focus on Java).

Methods Calls (Invocations) in Java.