[Soot-list] difficulty in using getUnexceptionalPredsOf

[Manjiri Namjoshi]

Hello,

I am interested to get all the predecessors of a block which do not belong
to exception handling blocks.
I have a code something like this:
while(i < 10000) {
      i++;
      try {
         -- some code
      } catch (java.lang.ArithmeticException e) {
        if (i %2 != 0)
          return "Should not throw odd exceptions!";
      }
}

This code produces 3 blocks corresponding to the catch body.

I tried the following:

ExceptionalBlockGraph eg = new ExceptionalBlockGraph(b); // b is the body
eg.getUnexceptionalPredsOf(blk);

did not work for me.


I am doing anything wrong?

Thank You.

Sincerely,
Manjiri
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20080904/e02a2af3/attachment.htm