Java automodel: also drop boxed types and number types from endpoints

jorgectf · Nov 24, 2023 · 2e5971b · 2e5971b
1 parent f2de449
commit 2e5971b
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/java/ql/automodel/src/AutomodelFrameworkModeCharacteristics.qll b/java/ql/automodel/src/AutomodelFrameworkModeCharacteristics.qll
@@ -24,7 +24,11 @@ newtype JavaRelatedLocationType =
   ClassDoc()
 
 newtype TFrameworkModeEndpoint =
-  TExplicitParameter(Parameter p) { not p.getType() instanceof PrimitiveType } or
+  TExplicitParameter(Parameter p) {
+    not p.getType() instanceof PrimitiveType and
+    not p.getType() instanceof BoxedType and
+    not p.getType() instanceof NumberType
+  } or
   TQualifier(Callable c) { not c instanceof Constructor } or
   TReturnValue(Callable c) {
     c instanceof Constructor