From c78906500dc378dac5388f92bdfcd3fb6df06154 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Mon, 23 Mar 2020 10:24:25 +0100 Subject: [PATCH] Java: Fix missing jump step from PostUpdate to capture. --- .../src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll index 27d80d8df8d..e60f49ffa6a 100644 --- a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll +++ b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll @@ -113,7 +113,8 @@ private predicate variableCaptureStep(Node node1, ExprNode node2) { */ predicate jumpStep(Node node1, Node node2) { staticFieldStep(node1, node2) or - variableCaptureStep(node1, node2) + variableCaptureStep(node1, node2) or + variableCaptureStep(node1.(PostUpdateNode).getPreUpdateNode(), node2) } /**