<div dir="ltr">Hello all,<div><br></div><div>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.</div><div><br></div><div>For example, given the following classes:</div><div><br></div><div>User { /* some code */}</div><div><br></div><div>Account { User u; /* some code */}</div><div><br></div><div>main(){ </div><div><br></div><div><div>Account acc1 = new Account(); </div><div>acc1.u = new User(); </div></div><div><br></div><div><div>Account acc2 = new Account(); </div><div>acc2.u = new User(); </div></div><div><br></div><div><div>Account acc3 = new Account(); </div><div>acc3.u = acc2.1; </div></div><div><br></div><div>}</div><div><br></div><div>How do I confirm that acc3.u must-not-alias with acc1.u? I think this is not possible in soot as is, no? </div><div><br></div><div>If it isn&#39;t, can anyone suggest other available analyses based on soot (if they exist) that do this?</div><div><br></div><div>Thanks,</div><div>Shaun Azzopardi</div><div>PhD Student</div><div>University of Malta</div></div>