[Soot-list] debugging flow analyses

[Patrick Lam]

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
>
>
>