[Soot-list] Error in Shimple

[Quentin Sabah]

Hi,

> When we tried to debug the error on our part, we found that the error
> comes whenever there is a method whose Block Graph (CFG) contains a
> block which has no predecessors and is neither the head.

I have seen similar CFG, where an exception trap statement has no 
predecessor, when using an ExceptionalUnitGraph. Have you identified the 
content of this problematic block ?


-- 
Quentin Sabah, CIFRE Ph.D. student
Grenoble University
INRIA-SPADES                   | STMicroelectronics/AST
Montbonnot, France             | Grenoble, France
mailto:quentin.sabah at inria.fr  | mailto:quentin.sabah at st.com
phone: +33 476 61 54 57        | phone: +33 476 58 44 14