A very straight forward flow-insensitive analysis which can successfully analyze methods
with respect to the potentially thrown exceptions under the conditions that no other
methods are invoked and that no exceptions are explicitly thrown (ATHROW). This analysis
always computes a sound over approximation of the potentially thrown exceptions.
The analysis has limited support for the following cases to be more precise in case of
common code patterns (e.g., a standard getter):
If all instance based field reads are using the self reference "this" and
"this" is used in the expected manner the org.opalj.br.instructions.GETFIELD
A very straight forward flow-insensitive analysis which can successfully analyze methods with respect to the potentially thrown exceptions under the conditions that no other methods are invoked and that no exceptions are explicitly thrown (
ATHROW). This analysis always computes a sound over approximation of the potentially thrown exceptions.The analysis has limited support for the following cases to be more precise in case of common code patterns (e.g., a standard getter):
IllegalMonitorStateExceptions.Hence, the primary use case of this method is to identify those methods that are guaranteed to never throw exceptions.