llvm dev - Feb 2018 - address aliasing in llvm pass

Hello Everyone,

I have written a llvm pass which will instrument load and store of annotated
variables. Now I am looking to add address aliasing in my pass. Suppose if there
are two variables and only of the them is annotated accessing the same memory
then I want to instrument load and store for both variables instead of
instrumenting only the annotated one.

I am not sure where should I start, if I can get any help, I would really
appreciate it.

Regards,
Sangeeta