Skip to content

Commit 75424f3

Browse files
committed
Update java data flow docs: two misc improvements
Copied from the C# equivalent.
1 parent 037ce3d commit 75424f3

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

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

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -194,10 +194,10 @@ You use the global data flow library by implementing the signature ``DataFlow::C
194194
195195
These predicates are defined in the configuration:
196196

197-
- ``isSource``defines where data may flow from
198-
- ``isSink``defines where data may flow to
199-
- ``isBarrier``optional, restricts the data flow
200-
- ``isAdditionalFlowStep``optional, adds additional flow steps
197+
- ``isSource`` - defines where data may flow from.
198+
- ``isSink`` - defines where data may flow to.
199+
- ``isBarrier`` - optional, restricts the data flow.
200+
- ``isAdditionalFlowStep`` - optional, adds additional flow steps.
201201

202202
The data flow analysis is performed using the predicate ``flow(DataFlow::Node source, DataFlow::Node sink)``:
203203

@@ -210,7 +210,7 @@ The data flow analysis is performed using the predicate ``flow(DataFlow::Node so
210210
Using global taint tracking
211211
~~~~~~~~~~~~~~~~~~~~~~~~~~~
212212

213-
Global taint tracking is to global data flow as local taint tracking is to local data flow. That is, global taint tracking extends global data flow with additional non-value-preserving steps. You use the global taint tracking library by applying the module ``TaintTracking::Global<ConfigSig>`` to your configuration instead of ``DataFlow::Global<ConfigSig>``:
213+
Global taint tracking is to global data flow what local taint tracking is to local data flow. That is, global taint tracking extends global data flow with additional non-value-preserving steps. You use the global taint tracking library by applying the module ``TaintTracking::Global<ConfigSig>`` to your configuration instead of ``DataFlow::Global<ConfigSig>``:
214214

215215
.. code-block:: ql
216216

0 commit comments

Comments
 (0)