The trigger injector builds an extended control flow graph over the input bytecode whose leaf nodes are basic blocks, sequences of instructions containing only one terminal control flow instruction. The block partitioning code is not detecting ARETURN or FRETURN bytecodes and this leads to errors in identifying the exception control flow through the graph.

In particular, the error message "exits unaccounted for in block XXX" is printed in cases where the block following an FRETURN or ARETURN is a handler block containing a MONITOREXIT instruction.