(original) (raw)

On Fri, Jul 17, 2015 at 11:05 AM, Daniel Berlin <dberlin@dberlin.org> wrote:

This is a statically undecidable problem, so yes, you must consider
AA, and there can be nothing that provides an exact answer in all
cases.

There is nothing in LLVM that will help you, but folks have developed
datastructures that can give fast answers to points-to and pointed-by
queries:
http://helloqirun.github.io/papers/pldi2014\_xiao.pdf