We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e430594 commit 549eca1Copy full SHA for 549eca1
cpp/ql/lib/experimental/semmle/code/cpp/dataflow/ProductFlow.qll
@@ -54,15 +54,15 @@ module ProductFlow {
54
* dataflow graph when the flow state is `state`.
55
*/
56
predicate isBarrier1(DataFlow::Node node, DataFlow::FlowState state) {
57
- isBarrier1(node) and state = ""
+ this.isBarrier1(node) and state = ""
58
}
59
60
/**
61
* Holds if data flow through `node` is prohibited through the second projection of the product
62
63
64
predicate isBarrier2(DataFlow::Node node, DataFlow::FlowState state) {
65
- isBarrier2(node) and state = ""
+ this.isBarrier2(node) and state = ""
66
67
68
0 commit comments