Remove redundancy from ExceptionCharacteristic

This commit is contained in:
tiferet
2023-02-15 10:48:36 -08:00
parent 9b028476b8
commit 3b508f7879

View File

@@ -538,13 +538,7 @@ private class ExceptionCharacteristic extends NotASinkCharacteristic {
exists(Expr::Call call, RefType type |
n.asExpr() = call.getAnArgument() and
type = call.getCallee().getDeclaringType().getASupertype*() and
(
type instanceof TypeException or
type instanceof TypeThrowable or
type instanceof TypeRuntimeException or
type instanceof TypeClassCastException or
type instanceof TypeNullPointerException
)
type instanceof TypeThrowable
)
}
}