Generated synthetic methods from ClassFactoryContextInterpreter
should possibly throw relevant Error
s?
#1118
Labels
low-priority
A lower priority bug for WALA developers, but one for which we will happily accept a PR
Methods like
Class.forName()
can throw different types ofError
s; see the Javadoc. Should we model these in the generated synthetic methods? It would be good for soundness, e.g., if you have a caller that catches anExceptionInInitializerError
. But probably this is a low-priority fix.The text was updated successfully, but these errors were encountered: