You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Mar 10, 2024. It is now read-only.
To detect the classNowCheckedException we have the following specification:
Consider concrete subtypes of the modified class affected by the change.
Report on client methods.
An affected method throws and creates an instance of the now checked exception.
An affected method does not include the exception in the throws declaration.
With M3 we only have access to information related to the exception initialization. Information related to checked and thrown exceptions is missing, even though it is available in the bytecode. We need to check alternatives to correctly report this issue. Some options are using flybytes and adding the exceptions relation to `M3'.
Without this solution we can have an approximation where we report on client methods that call the constructors of the now checked exception.
The text was updated successfully, but these errors were encountered:
To detect the
classNowCheckedException
we have the following specification:throws
declaration.With
M3
we only have access to information related to the exception initialization. Information related to checked and thrown exceptions is missing, even though it is available in the bytecode. We need to check alternatives to correctly report this issue. Some options are usingflybytes
and adding theexceptions
relation to `M3'.Without this solution we can have an approximation where we report on client methods that call the constructors of the now checked exception.
The text was updated successfully, but these errors were encountered: