Skip to content

Commit 2f0987e

Browse files
committed
Dataflow: Add dummy DataFlowSecondLevelScope implementations.
These could be an empty type, but Unit was available and it probably doesn't matter.
1 parent db6d27b commit 2f0987e

File tree

7 files changed

+14
-0
lines changed

7 files changed

+14
-0
lines changed

cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -290,6 +290,8 @@ predicate knownSourceModel(Node source, string model) { none() }
290290

291291
predicate knownSinkModel(Node sink, string model) { none() }
292292

293+
class DataFlowSecondLevelScope = Unit;
294+
293295
/**
294296
* Holds if flow is allowed to pass from parameter `p` and back to itself as a
295297
* side-effect, resulting in a summary from `p` to itself.

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2882,6 +2882,8 @@ predicate knownSourceModel(Node source, string model) { sourceNode(source, _, mo
28822882

28832883
predicate knownSinkModel(Node sink, string model) { sinkNode(sink, _, model) }
28842884

2885+
class DataFlowSecondLevelScope = Unit;
2886+
28852887
/**
28862888
* Holds if flow is allowed to pass from parameter `p` and back to itself as a
28872889
* side-effect, resulting in a summary from `p` to itself.

go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -415,6 +415,8 @@ predicate knownSourceModel(Node source, string model) { sourceNode(source, _, mo
415415

416416
predicate knownSinkModel(Node sink, string model) { sinkNode(sink, _, model) }
417417

418+
class DataFlowSecondLevelScope = Unit;
419+
418420
/**
419421
* Holds if flow is allowed to pass from parameter `p` and back to itself as a
420422
* side-effect, resulting in a summary from `p` to itself.

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -581,6 +581,8 @@ predicate knownSourceModel(Node source, string model) { sourceNode(source, _, mo
581581

582582
predicate knownSinkModel(Node sink, string model) { sinkNode(sink, _, model) }
583583

584+
class DataFlowSecondLevelScope = Unit;
585+
584586
/**
585587
* Holds if flow is allowed to pass from parameter `p` and back to itself as a
586588
* side-effect, resulting in a summary from `p` to itself.

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

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1087,6 +1087,8 @@ predicate knownSinkModel(Node sink, string model) {
10871087
sink = ModelOutput::getASinkNode(_, model).asSink()
10881088
}
10891089

1090+
class DataFlowSecondLevelScope = Unit;
1091+
10901092
/**
10911093
* Holds if flow is allowed to pass from parameter `p` and back to itself as a
10921094
* side-effect, resulting in a summary from `p` to itself.

ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2254,6 +2254,8 @@ predicate knownSinkModel(Node sink, string model) {
22542254
sink = ModelOutput::getASinkNode(_, model).asSink()
22552255
}
22562256

2257+
class DataFlowSecondLevelScope = Unit;
2258+
22572259
/**
22582260
* Holds if flow is allowed to pass from parameter `p` and back to itself as a
22592261
* side-effect, resulting in a summary from `p` to itself.

swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1404,6 +1404,8 @@ predicate knownSourceModel(Node source, string model) { sourceNode(source, _, mo
14041404

14051405
predicate knownSinkModel(Node sink, string model) { sinkNode(sink, _, model) }
14061406

1407+
class DataFlowSecondLevelScope = Unit;
1408+
14071409
/**
14081410
* Holds if flow is allowed to pass from parameter `p` and back to itself as a
14091411
* side-effect, resulting in a summary from `p` to itself.

0 commit comments

Comments
 (0)