From 3b508f787990d7826bb3296a4ec8ee57f843c871 Mon Sep 17 00:00:00 2001
From: tiferet <tiferet@github.com>
Date: Wed, 15 Feb 2023 10:48:36 -0800
Subject: [PATCH] Remove redundancy from `ExceptionCharacteristic`

---
 .../adaptivethreatmodeling/EndpointCharacteristics.qll    | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/EndpointCharacteristics.qll b/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/EndpointCharacteristics.qll
index c84afdafe4f..22f1a5bb945 100644
--- a/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/EndpointCharacteristics.qll
+++ b/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/EndpointCharacteristics.qll
@@ -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
     )
   }
 }