[Soot-list] Dependency between instance variable and instance method of single class.

[Marc-André Laverdière]

Hello Utsav,

Fields are copied to locals for use within methods. That is one of the
things in Jimple that makes perfect sense when thinking about Java
bytecode that is hard to understand coming from Java source code.

So when looking at a method's body, look for FieldRef instances of Value
inside the Stmt objects.

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

On 03/06/2014 02:20 AM, Utsav Chokshi wrote:
> Hello soot-community,
> Is there any way of determining dependency between instance variable and
> instance method of single class.
> 
> Example Code :
> public class Foo{
>    private into x;
>   
>    public foo(){ x=1;}
>    public setX(){ x=2;}
> 
>    public void doFoo(){
>         x++;
>    }
> }
> 
> What I am looking for is, say given method doFoo() and given instance
> var. x , determine on which methods it is dependent over ?
> 
> In short, linking def-uses of instance variable ?
> According to my observation, heros reaching definition doesn't provide
> this kind of dependency.
> - 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
>