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.