Escape Analysis on reddit

[Andrei Alexandrescu]

Andrei Alexandrescu wrote:
[snip]
> There is a paper that I don't have the time to look for, that does a 
> pointer analysis and associate with each function a little graph showing 
> how the return value depends on the inputs. (Does anyone know of it?) I 
> don't think we can afford to implement anything near that level of 
> sophistication.

Lo and behold, I found the paper. I'm amazed because it's been many 
years since I read it and I never fully understood it :o).

http://suif.stanford.edu/papers/wilson95/paper.html

The pointer representation they use form little graphs that represent 
their aliasing relationship.


Andrei