CFG with JVM Thrown Exception Edges

[kevzhumba]

Hi SootUp team,

Hope all is well. I was wondering if SootUp provides a CFG representation that ends a basic block at instructions that might throw JVM exceptions like NPE or Index OOB, and then adds an edge from the block to a synthetic method exit node if the exception is uncaught. If not, do you have any suggestions as to how to implement this using existing SootUp features? Thank you!