[Soot-list] Question

[Marc-Andre Laverdiere-Papineau]

Hello Zeinab,

I am not sure if I am understanding your question properly. My first 
impression is that you are looking for Reaching Definitions - a 
classical intraprocedural analysis.

You can read more here:
http://en.wikipedia.org/wiki/Reaching_definitions
Note that the confluence operator is an union - meaning that the 
information from the different paths are added together.

I did a quick git grep in the code, and it looks like that analysis is 
already there in Dava:
src/soot/dava/toolkits/base/AST/structuredAnalysis/ReachingDefs.java

I don't know if that implementation is suitable for your needs or too 
dava-specific - anybody knows?

Regards,


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

On 13-01-14 01:50 PM, Zeinab Lashkaripour wrote:
> Dear Reader,
>
> I am doing the following analysis:
> I am looking for special function calls to see what variable they have
> used in order to track the value that the variable has taken before the
> call which can be a simple assignment with out any branch or assignments
> inside different kinds of branch. Up to now with the information I have
> I think reaching definitions (def-use chain) is the suitable choice.
> Due to your experience I wanted to ask you. Is it right?
>
> Best Regards,
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>