[prev in list] [next in list] [prev in thread] [next in thread] 

List:       soot-list
Subject:    Re: [Soot-list] debugging flow analyses
From:       Yitzhak Mandelbaum <yhmandelbaum () cert ! org>
Date:       2012-08-13 18:03:22
Message-ID: 5616F2DF-4499-4E00-A9EA-EE292B243B7E () cert ! org
[Download RAW message or body]

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@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@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@sable.mcgill.ca
> > > > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> > > 
> > > 
> > > 
> > 
> > _______________________________________________
> > Soot-list mailing list
> > Soot-list@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@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






_______________________________________________
Soot-list mailing list
Soot-list@sable.mcgill.ca
http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list


[prev in list] [next in list] [prev in thread] [next in thread]