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.
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) ... } }
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.