[Soot-list] difficulty in using getUnexceptionalPredsOf

[Richard L. Halpert]

"did not work for me" is too vague.  Please tell us what it DID do.  Did it
throw an exception?  Did it give you wrong answers?

-Richard

On Thu, Sep 4, 2008 at 2:24 PM, Manjiri Namjoshi <
manjiri.namjoshi at googlemail.com> wrote:

> 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
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20080904/c3452f33/attachment.htm