[Soot-list] debugging flow analyses

[Eric Bodden]

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