Skip to content

Commit 28fa49d

Browse files
smowtonsmowton
committed
dataflow -> data-flow
1 parent 3b0bd3b commit 28fa49d

File tree

47 files changed

+94
-94
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

47 files changed

+94
-94
lines changed

‎cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -112,12 +112,12 @@ abstract class Configuration extends string {
112112
predicate isBarrierGuard(BarrierGuard guard, FlowState state) { none() }
113113

114114
/**
115-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
115+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
116116
*/
117117
predicate isAdditionalFlowStep(Node node1, Node node2) { none() }
118118

119119
/**
120-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
120+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
121121
* This step is only applicable in `state1` and updates the flow state to `state2`.
122122
*/
123123
predicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2) {

‎cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -112,12 +112,12 @@ abstract class Configuration extends string {
112112
predicate isBarrierGuard(BarrierGuard guard, FlowState state) { none() }
113113

114114
/**
115-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
115+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
116116
*/
117117
predicate isAdditionalFlowStep(Node node1, Node node2) { none() }
118118

119119
/**
120-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
120+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
121121
* This step is only applicable in `state1` and updates the flow state to `state2`.
122122
*/
123123
predicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2) {

‎cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -112,12 +112,12 @@ abstract class Configuration extends string {
112112
predicate isBarrierGuard(BarrierGuard guard, FlowState state) { none() }
113113

114114
/**
115-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
115+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
116116
*/
117117
predicate isAdditionalFlowStep(Node node1, Node node2) { none() }
118118

119119
/**
120-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
120+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
121121
* This step is only applicable in `state1` and updates the flow state to `state2`.
122122
*/
123123
predicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2) {

‎cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -112,12 +112,12 @@ abstract class Configuration extends string {
112112
predicate isBarrierGuard(BarrierGuard guard, FlowState state) { none() }
113113

114114
/**
115-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
115+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
116116
*/
117117
predicate isAdditionalFlowStep(Node node1, Node node2) { none() }
118118

119119
/**
120-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
120+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
121121
* This step is only applicable in `state1` and updates the flow state to `state2`.
122122
*/
123123
predicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2) {

‎cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -112,12 +112,12 @@ abstract class Configuration extends string {
112112
predicate isBarrierGuard(BarrierGuard guard, FlowState state) { none() }
113113

114114
/**
115-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
115+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
116116
*/
117117
predicate isAdditionalFlowStep(Node node1, Node node2) { none() }
118118

119119
/**
120-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
120+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
121121
* This step is only applicable in `state1` and updates the flow state to `state2`.
122122
*/
123123
predicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2) {

‎cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -154,7 +154,7 @@ abstract class Configuration extends DataFlow::Configuration {
154154
}
155155

156156
/**
157-
* Holds if taint may propagate from `node1` to `node2` in addition to the normal dataflow and taint steps.
157+
* Holds if taint may propagate from `node1` to `node2` in addition to the normal data-flow and taint steps.
158158
*/
159159
predicate isAdditionalTaintStep(DataFlow::Node node1, DataFlow::Node node2) { none() }
160160

@@ -164,7 +164,7 @@ abstract class Configuration extends DataFlow::Configuration {
164164
}
165165

166166
/**
167-
* Holds if taint may propagate from `node1` to `node2` in addition to the normal dataflow and taint steps.
167+
* Holds if taint may propagate from `node1` to `node2` in addition to the normal data-flow and taint steps.
168168
* This step is only applicable in `state1` and updates the flow state to `state2`.
169169
*/
170170
predicate isAdditionalTaintStep(

‎cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -154,7 +154,7 @@ abstract class Configuration extends DataFlow::Configuration {
154154
}
155155

156156
/**
157-
* Holds if taint may propagate from `node1` to `node2` in addition to the normal dataflow and taint steps.
157+
* Holds if taint may propagate from `node1` to `node2` in addition to the normal data-flow and taint steps.
158158
*/
159159
predicate isAdditionalTaintStep(DataFlow::Node node1, DataFlow::Node node2) { none() }
160160

@@ -164,7 +164,7 @@ abstract class Configuration extends DataFlow::Configuration {
164164
}
165165

166166
/**
167-
* Holds if taint may propagate from `node1` to `node2` in addition to the normal dataflow and taint steps.
167+
* Holds if taint may propagate from `node1` to `node2` in addition to the normal data-flow and taint steps.
168168
* This step is only applicable in `state1` and updates the flow state to `state2`.
169169
*/
170170
predicate isAdditionalTaintStep(

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -112,12 +112,12 @@ abstract class Configuration extends string {
112112
predicate isBarrierGuard(BarrierGuard guard, FlowState state) { none() }
113113

114114
/**
115-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
115+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
116116
*/
117117
predicate isAdditionalFlowStep(Node node1, Node node2) { none() }
118118

119119
/**
120-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
120+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
121121
* This step is only applicable in `state1` and updates the flow state to `state2`.
122122
*/
123123
predicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2) {

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -112,12 +112,12 @@ abstract class Configuration extends string {
112112
predicate isBarrierGuard(BarrierGuard guard, FlowState state) { none() }
113113

114114
/**
115-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
115+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
116116
*/
117117
predicate isAdditionalFlowStep(Node node1, Node node2) { none() }
118118

119119
/**
120-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
120+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
121121
* This step is only applicable in `state1` and updates the flow state to `state2`.
122122
*/
123123
predicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2) {

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -112,12 +112,12 @@ abstract class Configuration extends string {
112112
predicate isBarrierGuard(BarrierGuard guard, FlowState state) { none() }
113113

114114
/**
115-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
115+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
116116
*/
117117
predicate isAdditionalFlowStep(Node node1, Node node2) { none() }
118118

119119
/**
120-
* Holds if data may flow from `node1` to `node2` in addition to the normal dataflow steps.
120+
* Holds if data may flow from `node1` to `node2` in addition to the normal data-flow steps.
121121
* This step is only applicable in `state1` and updates the flow state to `state2`.
122122
*/
123123
predicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2) {

0 commit comments

Comments
 (0)