Giving empty allocation sets at some program points in the jimple IR

[rareham]

I am working on the Jimple IR for android apk file.

One of the statements in the program is a post of a runnable object on the base object handler.

Class A {
Runnable a = new Runnable () {
public void run(){
...
}
}

onCreate() {
...
handler.post(a)
...
}
}

• where a is of type runnable and a is a reference use. Further more, a is defined as a class field.

I wish to find the points to set for 'a'.

I create a backward query for the statement and the value as 'a' - jimple local variable.

But the result is empty set of allocation sites or possible types. But if i query for the base which is of type handler i get precise answers for the allocation sites and possible types.

Please let me know if you need further details.