Interprocedural dataflow analysis - alias analysis