hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

(Multiple languages) Clarify defn of barriers

Browse Source
This commit is contained in:
Owen Mansel-Chan
2025-01-17 14:17:55 +00:00
parent d1d6b520e1
commit 4585c8caf2
6 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
docs/codeql/codeql-language-guides/analyzing-data-flow-in-csharp.rst
View File

@@ -170,8 +170,8 @@ These predicates are defined in the configuration:
- ``isSource`` - defines where data may flow from. - ``isSource`` - defines where data may flow from.
- ``isSink`` - defines where data may flow to. - ``isSink`` - defines where data may flow to.
- ``isBarrier`` - optionally, restricts the data flow. - ``isBarrier`` - optional, defines where data flow is blocked.
- ``isAdditionalFlowStep`` - optionally, adds additional flow steps. - ``isAdditionalFlowStep`` - optional, adds additional flow steps.
The data flow analysis is performed using the predicate ``flow(DataFlow::Node source, DataFlow::Node sink)``: The data flow analysis is performed using the predicate ``flow(DataFlow::Node source, DataFlow::Node sink)``:

2
docs/codeql/codeql-language-guides/analyzing-data-flow-in-go.rst
View File

@@ -188,7 +188,7 @@ These predicates are defined in the configuration:
- ``isSource`` - defines where data may flow from. - ``isSource`` - defines where data may flow from.
- ``isSink`` - defines where data may flow to. - ``isSink`` - defines where data may flow to.
- ``isBarrier`` - optional, restricts the data flow. - ``isBarrier`` - optional, defines where data flow is blocked.
- ``isAdditionalFlowStep`` - optional, adds additional flow steps. - ``isAdditionalFlowStep`` - optional, adds additional flow steps.
The data flow analysis is performed using the predicate ``flow(DataFlow::Node source, DataFlow::Node sink)``: The data flow analysis is performed using the predicate ``flow(DataFlow::Node source, DataFlow::Node sink)``:

2
docs/codeql/codeql-language-guides/analyzing-data-flow-in-java.rst
View File

@@ -196,7 +196,7 @@ These predicates are defined in the configuration:
- ``isSource`` - defines where data may flow from. - ``isSource`` - defines where data may flow from.
- ``isSink`` - defines where data may flow to. - ``isSink`` - defines where data may flow to.
- ``isBarrier`` - optional, restricts the data flow. - ``isBarrier`` - optional, defines where data flow is blocked.
- ``isAdditionalFlowStep`` - optional, adds additional flow steps. - ``isAdditionalFlowStep`` - optional, adds additional flow steps.
The data flow analysis is performed using the predicate ``flow(DataFlow::Node source, DataFlow::Node sink)``: The data flow analysis is performed using the predicate ``flow(DataFlow::Node source, DataFlow::Node sink)``:

4
docs/codeql/codeql-language-guides/analyzing-data-flow-in-python.rst
View File

@@ -228,8 +228,8 @@ These predicates are defined in the configuration:
- ``isSource`` - defines where data may flow from. - ``isSource`` - defines where data may flow from.
- ``isSink`` - defines where data may flow to. - ``isSink`` - defines where data may flow to.
- ``isBarrier`` - optionally, restricts the data flow. - ``isBarrier`` - optional, defines where data flow is blocked.
- ``isAdditionalFlowStep`` - optionally, adds additional flow steps. - ``isAdditionalFlowStep`` - optional, adds additional flow steps.
The data flow analysis is performed using the predicate ``flow(DataFlow::Node source, DataFlow::Node sink)``: The data flow analysis is performed using the predicate ``flow(DataFlow::Node source, DataFlow::Node sink)``:

4
docs/codeql/codeql-language-guides/analyzing-data-flow-in-ruby.rst
View File

@@ -248,8 +248,8 @@ These predicates are defined in the configuration:
- ``isSource`` - defines where data may flow from. - ``isSource`` - defines where data may flow from.
- ``isSink`` - defines where data may flow to. - ``isSink`` - defines where data may flow to.
- ``isBarrier`` - optionally, restricts the data flow. - ``isBarrier`` - optional, defines where data flow is blocked.
- ``isAdditionalFlowStep`` - optionally, adds additional flow steps. - ``isAdditionalFlowStep`` - optional, adds additional flow steps.
The data flow analysis is performed using the predicate ``flow(DataFlow::Node source, DataFlow::Node sink)``: The data flow analysis is performed using the predicate ``flow(DataFlow::Node source, DataFlow::Node sink)``:

4
docs/codeql/codeql-language-guides/analyzing-data-flow-in-swift.rst
View File

@@ -185,8 +185,8 @@ These predicates are defined in the configuration:
- ``isSource`` - defines where data may flow from. - ``isSource`` - defines where data may flow from.
- ``isSink`` - defines where data may flow to. - ``isSink`` - defines where data may flow to.
- ``isBarrier`` - optionally, restricts the data flow. - ``isBarrier`` - optional, defines where data flow is blocked.
- ``isAdditionalFlowStep`` - optionally, adds additional flow steps. - ``isAdditionalFlowStep`` - optional, adds additional flow steps.
The last line (``module MyDataFlow = ...``) instantiates the parameterized module for data flow analysis by passing the configuration to the parameterized module. Data flow analysis can then be performed using ``MyDataFlow::flow(DataFlow::Node source, DataFlow::Node sink)``: The last line (``module MyDataFlow = ...``) instantiates the parameterized module for data flow analysis by passing the configuration to the parameterized module. Data flow analysis can then be performed using ``MyDataFlow::flow(DataFlow::Node source, DataFlow::Node sink)``: