[dbaupp]

I suspect it's not possible for most interesting programs, even with whole program analysis. As soon as you start storing pointers behind other pointers, it's (very) hard to keep track of where they came from.

There's more discussion in the replies to https://news.ycombinator.com/item?id=17382464 that you may've missed.

[Animats]

Yes, I know; I started that discussion.

[dbaupp]

I see, I'm sorry. It just seemed like you might not have noticed additional replies to your comment, since you didn't reply there and essentially didn't change what you said.