[Soot-list] debugging flow analyses

[Zell]

Hi, what are your command-line options and phase options when you invoked
SOOT?

If you have enable "-w" option.  you can try the " -no-bodies-excluded"
option thanks to Eric:
http://www.bodden.de/2010/06/04/soot-no-jdk/

Zell


On Mon, Aug 13, 2012 at 3:37 PM, Yitzhak Mandelbaum
<yhmandelbaum at cert.org>wrote:

> Hi,
>
> I've written a flow analysis and it is taking a *long* time to run. So
> long that I cannot tell if it is a bug or an infinite loop. Are there any
> options that will prompt the ForwardFlowAnalysis class to print debugging
> information that might help me determine whether the algorithm is
> converging towards a fixpoint or just looping endlessly?
>
> Thanks,
> Yitzhak
> --------------------------------------------------
> Yitzhak Mandelbaum
> CERT / Software Engineering Institute
> Carnegie Mellon University
> http://www.andrew.cmu.edu/~yhm
>
>
>
>
>
>
> _______________________________________________
> 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/20120813/f7f35af0/attachment.html