Jex Tool Requirements
Provide a list of exceptions potentially raised at every program point.
Provide the origin of exceptions.
Provide the structure of exception handling, to allow reasoning about the context.
Provide the information statically.
Provide the information non-intrusively.