[Soot-list] Alias-analysis for object fields

[Shaun Paul Azzopardi]

Hello all,

I was playing around with the alias analysis, and creating InstanceKeys for
certain locals, and I wanted to check if it was currently possible to
create an InstanceKey for the field of a certain InstanceKey.

For example, given the following classes:

User { /* some code */}

Account { User u; /* some code */}

main(){

Account acc1 = new Account();
acc1.u = new User();

Account acc2 = new Account();
acc2.u = new User();

Account acc3 = new Account();
acc3.u = acc2.1;

}

How do I confirm that acc3.u must-not-alias with acc1.u? I think this is
not possible in soot as is, no?

If it isn't, can anyone suggest other available analyses based on soot (if
they exist) that do this?

Thanks,
Shaun Azzopardi
PhD Student
University of Malta
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20161021/57ce9924/attachment.html