[Soot-list] What kind of analysis is appropriate?

[Marc-André Laverdière-Papineau]

Hello,

It sounds to me like you are interested in doing an intraprocedural 
alias analysis. And intersect the results with the loop conditions.

Of course, if you want to handle cases where there could be operations 
other than assignment of the variables, then an information flow 
analysis would make sense.

Soot provides classes that computes de CFG for you (ExceptionalUnitGraph 
IIRC), and there is a built-in LocalMustAliasAnalysis that should do the 
trick. Note that I haven't used those classes personally, so I could be 
wrong.

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

On 13-04-19 01:13 PM, Zeinab Lashkaripour wrote:
> Hi everyone,
>
> I have done part of my analysis with Soot and for the rest of it I'm
> looking for the following information that I don't know what kind of
> analysis is suitable?
>
> I have some functions that they have inputs. In these functions these
> inputs can be used in local variables of the function, inside loop
> conditions.
> I want to identify those local variables that have used these inputs and
> also process loop conditions to see if they are related to the input or
> not. (relation with input in condition and local variable can be direct
> or indirect)
>
> Regards,
> Zeinab
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>