From aa14105e1c7301dea3660cf47729423885e529ca Mon Sep 17 00:00:00 2001 From: Tony Torralba Date: Wed, 10 May 2023 16:45:07 +0200 Subject: [PATCH] Don't use the reflexive transitive closure, so that the predicate becomes a little more efficient --- .../semmle/code/java/dataflow/internal/TaintTrackingUtil.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/TaintTrackingUtil.qll b/java/ql/lib/semmle/code/java/dataflow/internal/TaintTrackingUtil.qll index 044b250e473..b275c381150 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/TaintTrackingUtil.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/TaintTrackingUtil.qll @@ -256,7 +256,7 @@ private class BulkData extends RefType { */ private predicate inputStreamWrapper(Constructor c, int argi) { c.getParameterType(argi) instanceof BulkData and - c.getDeclaringType().getASourceSupertype*().hasQualifiedName("java.io", "InputStream") + c.getDeclaringType().getASourceSupertype+().hasQualifiedName("java.io", "InputStream") } /** An object construction that preserves the data flow status of any of its arguments. */