Skip to content

Commit 9ad461d

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

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -20,8 +20,8 @@ When you write additional flow steps to track pointers, you must decide whether
2020

2121
In contrast, if the read of a field is not visible to CodeQL, you can add an ``allowImplicitRead`` predicate to model the data flow.
2222

23-
The setup
24-
---------
23+
Regular dataflow analysis
24+
-------------------------
2525

2626
Consider the following scenario: We have data coming out of ``user_input()`` and we want to figure out if that data can ever reach an argument of `sink`.
2727

0 commit comments

Comments
 (0)