[Soot-list] debugging flow analyses

[Yitzhak Mandelbaum]

Thanks, that's good to know. Sounds like enough for me to get started on debugging.


Y

On Aug 13, 2012, at 1:51 PM, Eric Bodden wrote:

> Right, this exists.
> 
> To use it, just execute the analysis with the Soot Eclipse plugin, and
> with "interactive mode" enabled in the analysis options. See here:
> 
> http://www.bodden.de/2008/08/30/soot-eclipse-plugin-tutorial/
> 
> Eric
> 
> On 13 August 2012 19:09, Patrick Lam <plam at sable.mcgill.ca> wrote:
>> I have seen a mode where one can step through one's intraprocedural
>> analysis in Eclipse. My student discovered it. I don't know how it got
>> there, nor do I know how to use it, but maybe he has some hints.
>> 
>> pat
>> 
>> On 08/13/12 13:06, Eric Bodden wrote:
>>> There is no debug support in Soot for that, as this really depends on
>>> your concrete analysis. An intra-procedural analysis should hopefully
>>> terminate in seconds, otherwise it's quite useless anyway.
>>> 
>>> Eric
>>> 
>>> On 13 August 2012 15:37, 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
>>> 
>>> 
>>> 
>> 
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> 
> 
> 
> -- 
> Eric Bodden, Ph.D., http://bodden.de/
> Head of Secure Software Engineering Group at EC SPRIDE
> Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list

--------------------------------------------------
Yitzhak Mandelbaum
CERT / Software Engineering Institute
Carnegie Mellon University
http://www.andrew.cmu.edu/~yhm