public final class V {
static Vector v;
public static void main(String[] args) {
Vector x = new Vector();
v = x;
foo();
v.firstElement();
}
public static void foo() {
}
}
But if I remove the empty method call, it works as expected:
public final class V {
static Vector v;
public static void main(String[] args) {
Vector x = new Vector();
v = x;
//foo();
v.firstElement();
}
public static void foo() {
}
}
For the following target program:
I create an alias query at
v.firstElement()
:BackwardQuery:
After query solving I get:
But if I remove the empty method call, it works as expected:
I create an alias query at
v.firstElement()
:The Same BackwardQuery:
After query solving I get:
I am not sure if my configuration is wrong. I use the following bomerang options: