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]
