As of right now, findAllValues in VarAccess can traverse one layer on the subtree of a VarAccess to track value assignments on a variable like this.i. However, suppose we have the following case (where this.self == this and there exists a method called getSelf that returns self):
this.self.getSelf().self = this;
We would ultimately want to track values for this type of VarAccess with the inner JavaVisitor.
As of right now,
findAllValuesinVarAccesscan traverse one layer on the subtree of aVarAccessto track value assignments on a variable likethis.i. However, suppose we have the following case (wherethis.self == thisand there exists a method calledgetSelfthat returnsself):this.self.getSelf().self = this;We would ultimately want to track values for this type of
VarAccesswith the inner JavaVisitor.