Skip to content

Commit 3db2644

Browse files
committed
Python: Add default implementation of StateConfigSig::isAdditionalFlowStep/4
1 parent 43f870e commit 3db2644

File tree

1 file changed

+3
-1
lines changed
  • python/ql/lib/semmle/python/dataflow/new/internal

1 file changed

+3
-1
lines changed

python/ql/lib/semmle/python/dataflow/new/internal/DataFlow.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -131,7 +131,9 @@ signature module StateConfigSig {
131131
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
132132
* This step is only applicable in `state1` and updates the flow state to `state2`.
133133
*/
134-
predicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2);
134+
default predicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2) {
135+
none()
136+
}
135137

136138
/**
137139
* Holds if an arbitrary number of implicit read steps of content `c` may be

0 commit comments

Comments
 (0)