Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 9a6fc96

Browse files
MathiasVPgeoffw0
andauthored
Update docs/codeql/codeql-language-guides/advanced-dataflow-scenarios-cpp.rst
Co-authored-by: Geoffrey White <[email protected]>
1 parent 17ee7c2 commit 9a6fc96

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -423,7 +423,7 @@ The dataflow library actually has a specific tool to handle this scenario, and t
423423
where Flow::flowPath(source, sink)
424424
select sink.getNode(), source, sink, "Flow from user input to sink!"
425425
426-
The ``allowImplicitRead`` predicate specifies that if we're at a node that satisfies ``isSink`` then we're allowed to assume that there is an implicit read of a field named ``a`` or a field named ``x``. This gets us the flow we are interested in because the dataflow library now will see:
426+
The ``allowImplicitRead`` predicate specifies that if we're at a node that satisfies ``isSink`` then we're allowed to assume that there is an implicit read of a field named ``a`` or a field named ``x`` (in this case both). This gets us the flow we are interested in because the dataflow library now will see:
427427

428428
1. User input starts at ``user_input()``.
429429
2. The data flowing into ``b`` with access path ``[a, x]``.

0 commit comments

Comments
 (0)