[Soot-list] Exceptional edges in control flow analysis in SOOT

[Eric Bodden]

> When building CFG with exceptional edges, why the ExceptionalUnitGraph adds
> edges from the predecessors of the thrower to the catcher?

Hmm, good question. Patrick and I looked into this code last year or
so because it was causing some incorrect edges but I think we never
got this 100% fixed. I wished somebody would volunteer to get this
right once and for all.

> It causes undesired edges in the CFG.

Do you have a minimal example file for us that yields these edges?

Cheers,
Eric