[Soot-list] Dependency between instance variable and instance method

[Marc-Andre Laverdiere-Papineau]

Hello Utsav,

The example analyses are only examples. That means that they are incomplete.

Imagine that you have this

class A {

int b;
int c;

public void foo() {c = b;}
...
}

The Jimple for foo will look like this

int $i0;
int $i1;

$i0 = A.b;
$i1 = A.c; //maybe this one won't be there - not sure
$i1 = $i0;
A.c = $i1;

You need to add rules to the flow function factories to handle this pattern.

Regards,

-- 
Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 2014-03-07 00:42, Utsav Chokshi wrote:
> Hello , Marc
> Yes I am aware of FieldRef .
>
> But my point is how we can get dependency between instance variables as
> they are not passed as an argument to method.
>
> As I said earlier heros reaching definition example do not include those
> definitions.
>
> - Utsav Chokshi
> [ Intern ,TCS Innovation Labs , Pune, India]
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>