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

[Guru Devanla]

A class instance method implicitly has identity statement that will contain
a ThisRef. Any references to ThisRef / or used of ThisRef could be
construed as references to instance variables (baring methodInvokes). By
checking if ThisRef and subsequently InstanceFieldRef is on left side of
equation, the dependency could be derived.

Thanks
Guru


On Fri, Mar 7, 2014 at 7:47 AM, Marc-Andre Laverdiere-Papineau <
marc-andre.laverdiere-papineau at polymtl.ca> wrote:

> 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
> >
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20140307/bf3b577c/attachment.html