From fc415b32c208c8d93859fd601530cac437657be7 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Mon, 29 Aug 2022 13:50:13 +0200 Subject: [PATCH] Java: Bugfix in TypeFlow. --- java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll index 1b9842b9383..2cebd1eb363 100644 --- a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll +++ b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll @@ -220,7 +220,7 @@ private predicate upcastCand(TypeFlowNode n, RefType t, RefType t1, RefType t2) ret.getResult() = n.asExpr() and t2 = ret.getEnclosingCallable().getReturnType().getErasure() ) or - exists(MethodAccess ma | viableImpl_v1(ma) = n.asMethod() and t2 = ma.getType()) + exists(MethodAccess ma | viableImpl_v1(ma) = n.asMethod() and t2 = ma.getType().getErasure()) or exists(Parameter p | privateParamArg(p, n.asExpr()) and t2 = p.getType().getErasure()) or