[Soot-list] dataflow analysis for programs with loops

[Elena Sherman]

Rashmi,

Apparently your analysis are not reaching fixed point. Try to print out the
reaching definition set before and after each statement and see where the
set is not saturating. Soot framework should be correct, the bug is more
likely in your extension. Make sure that the merging of two flows of the
definition sets are correct and your make deep copies of the definition
sets.

Elena

On Sat, Sep 20, 2014 at 9:40 AM, Rashmi Mudduluru <
mudduluru.rashmi at csa.iisc.ernet.in> wrote:

> Hi,
>
> I am using soot to perform reaching definitions analysis.
> The class extends ForwardFlowAnalysis and I have implemented all the
> methods in the FlowSet interface.
> The analysis works for straight line programs but goes into an infinite
> loop for programs with loops.
> Has anyone face this issue?
> Is there something that I am missing here?
>
> Thanks,
> Rashmi.
>
>
>
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://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/20140920/187e85ea/attachment.html