Interprocedural analysis