Skip to content

Commit dc77614

Browse files
Update docs/codeql/codeql-language-guides/advanced-dataflow-scenarios-cpp.rst
Co-authored-by: Felicity Chapman <[email protected]>
1 parent 56a1a7c commit dc77614

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/codeql/codeql-language-guides/advanced-dataflow-scenarios-cpp.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -434,4 +434,4 @@ The ``allowImplicitRead`` predicate specifies that if we're at a node that satis
434434
3. The data flowing to the indirection of ``&b`` (i.e., the object ``b``).
435435
4. An implicit read of the field ``x`` followed by an implicit read of the field ``a`` at the sink.
436436

437-
Thus, we end up at a node that satisfies ``isSink`` with an empty access path, and hence a dataflow path is successfully found.
437+
Thus, we end up at a node that satisfies ``isSink`` with an empty access path, and successfully track the full dataflow path.

0 commit comments

Comments
 (0)