From 1cd8922ab5d39f9b9707598afdd6a7cb3a00a2d3 Mon Sep 17 00:00:00 2001 From: Ed Minnix Date: Sun, 9 Jul 2023 23:34:51 -0400 Subject: [PATCH] Java: Add default implementation of StateConfigSig::isAdditionalFlowStep/4 --- java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll index 9f7bd18036e..47329d133a4 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll @@ -131,7 +131,9 @@ signature module StateConfigSig { * Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps. * This step is only applicable in `state1` and updates the flow state to `state2`. */ - predicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2); + default predicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2) { + none() + } /** * Holds if an arbitrary number of implicit read steps of content `c` may be