hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-24 08:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Co-authored-by: Felicity Chapman <felicitymay@github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2023-10-18 14:15:11 +02:00
committed by GitHub
parent 0d36d918c9
commit 8812567c69
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -191,7 +191,7 @@ We have an important choice here: Should the relationship between ``n2`` and ``f
Using asIndirectExpr
~~~~~~~~~~~~~~~~~~~~
If we use ``n2.asIndirectExpr() = fa`` we specify that flow moves to what ``fa`` points to. This allows dataflow to flow through a later dereference, which is exactly what we need to to flow from ``p`` to ``*p`` in ``process_user_data``.
If we use ``n2.asIndirectExpr() = fa`` we specify that flow moves to what ``fa`` points to. This allows data to flow through a later dereference, which is exactly what we need to track data flow from ``p`` to ``*p`` in ``process_user_data``.
Thus we get the required flow path.