add object-sensitivity

[damorim]

The guard below unables the algorithm to computate direct rw-sets for non-application classes.

class MethodDependencyAnalsysis {
... directRWSets(...) {

if (Util.isAppClass(cur)) {

...

As important as it, currently the use of collection is not object sensitive. To discuss in class.

[damorim]

As discussed in class, the solution to this is to add pointer information to our AccessInfo object.

With that, we should add object sensitivity to our analysis.

Application that handle Collection types will take particular advantage of that.

[rcaa]

Class example:

class ArrayList {
add() { ... length++;}
size() {return length;}
}

class X {
List l = new ArrayList();
m1() { l.add();} // ws = [AL.length ...]
m2() {l.size();} // rs = [AL.length ...]
}

[rcaa]

#tarsiswt
#rcaa