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 > Von: [EMAIL PROTECTED] > An: bcel-user@jakarta.apache.org > 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]
