Interprocedural data flow analysis In the presence of pointers, procedure variables, and label variablesWilliam E. Weihl1980POPL 1980