[Prev] Thread [Next]  |  [Prev] Date [Next]

Re: Polymorphism and BCEL zagiatakrapovic Wed Oct 29 09:01:31 2008

Forget my last question! I solved this issue. I thought the loop is in the 
constructor of the CFG but it was in a method I used to dump this stuff and 
where I messed up the flag checking.

-------- Original-Nachricht --------
> Datum: Wed, 29 Oct 2008 14:54:36 +0100
> Betreff: Re: Polymorphism and BCEL

> Hi Jonathan,
> Thx for your reply. Your tool is very impressive. I used it to delve into
> some details of the BCEL class hierarchy. :) 
> I talked to some people that had similar projects in the meantime. The all
> said they had the same problem at all of them implemented their own
> framework too solve this. Therefore I think that such an extension of BCEL 
> would
> make sense. I started to think about the design and ran some tests with
> code and met a strange behaviour of the ControlFlowGraph BCEL class.
> Conditional controlflow based only on if-statements are handled correctly, I 
> get all
> the possible paths through the CFG. 
> But if I write a very simple constant loop I end up in an infinite
> recursion. The getSuccessors() method delivers the same path again and again.
> That's definitely not a behaviour I expect from a CFG which should be finite
> even for while true loops. I mean you could avoid this by comparing the
> successor with the current one but this is ugly and unsafe!
> Have you met this issue?
> Nicholson, Jonathan O H wrote:
> > I'm not sure what your project is, or if this will be of any help, but
> > you may be interested to look at our university project (and part of my
> > phd). Where we've used BCEL to build a (rather rudimentary) static
> > analyser.
> > 
> > Rather than give you a description of what we do here, have a look at
> > http://ttp.essex.ac.uk, and try out our tool if you'd like. Let me know
> > if you have any questions or feedback, I'd be happy to try and help out.
> > 
> > Mac
> > 
> -- 
> "Feel free" - 10 GB Mailbox, 100 FreeSMS/Monat ...
> Jetzt GMX TopMail testen: http://www.gmx.net/de/go/topmail
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: [EMAIL PROTECTED]
> For additional commands, e-mail: [EMAIL PROTECTED]

Der GMX SmartSurfer hilft bis zu 70% Ihrer Onlinekosten zu sparen! 
Ideal für Modem und ISDN: http://www.gmx.net/de/go/smartsurfer

To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]