We present a new algorithm for computing interprocedural aliases due to passing parameters by reference. This algorithm runs in O(N2+NE) time and, when combined with algorithms for alias-free, flow-insensitive data-flow problems, yields algorithms for solution of the general flow-insensitive problems that also run in O(N2+NE) time.
No takes yet. Share an insight, caveat, or question.
Cooper et al. (1989) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: