Skip to content

Commit f0bc55e

Browse files
committed
Update references and remove unwanted reusable
1 parent 36e32f4 commit f0bc55e

File tree

3 files changed

+3
-9
lines changed

3 files changed

+3
-9
lines changed

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

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
11
.. _advanced-dataflow-scenarios-cpp:
22

3-
.. include:: ../reusables/cpp-new-dataflow-api-note.rst
4-
53
Advanced dataflow scenarios for C/C++
64
======================================
75

@@ -102,7 +100,7 @@ This data flow is simple to match because the CodeQL database contains the infor
102100
Flow from a qualifier to a field access
103101
---------------------------------------
104102

105-
Sometimes field accesses are not visible to CodeQL (for example, because the implementation of the function isn't included in the database), and so dataflow cannot match up all stores with reads. This leads to missing (false negative) results.
103+
Sometimes field accesses are not visible to CodeQL (for example, because the implementation of the function isn't included in the database), and so dataflow cannot match up all stores with reads. This leads to missing (false negative) results.
106104

107105
For example, consider an alternative setup where our source of data starts as the outgoing argument of a function ``write_user_input_to``. We can model this setup in the dataflow library using the following ``isSource``:
108106

@@ -456,4 +454,4 @@ The ``allowImplicitRead`` predicate specifies that if we're at a node that satis
456454
3. The data flowing to the indirection of ``&b`` (i.e., the object ``b``).
457455
4. An implicit read of the field ``x`` followed by an implicit read of the field ``a`` at the sink.
458456

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

docs/codeql/codeql-language-guides/codeql-for-cpp.rst

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@ Experiment and learn how to write effective and efficient queries for CodeQL dat
1414
expressions-types-and-statements-in-cpp
1515
conversions-and-classes-in-cpp
1616
analyzing-data-flow-in-cpp
17-
analyzing-data-flow-in-cpp-new
1817
refining-a-query-to-account-for-edge-cases
1918
detecting-a-potential-buffer-overflow
2019
using-the-guards-library-in-cpp
@@ -35,7 +34,7 @@ Experiment and learn how to write effective and efficient queries for CodeQL dat
3534

3635
- :doc:`Conversions and classes in C and C++ <conversions-and-classes-in-cpp>`: You can use the standard CodeQL libraries for C and C++ to detect when the type of an expression is changed.
3736

38-
- :doc:`Analyzing data flow in C and C++ <analyzing-data-flow-in-cpp-new>`: You can use data flow analysis to track the flow of potentially malicious or insecure data that can cause vulnerabilities in your codebase. For information about converting queries from the legacy workflow, see `New dataflow API for CodeQL query writing <https://gh.io/codeql-new-dataflow-api>`__.
37+
- :doc:`Analyzing data flow in C and C++ <analyzing-data-flow-in-cpp>`: You can use data flow analysis to track the flow of potentially malicious or insecure data that can cause vulnerabilities in your codebase. For information about converting queries from the legacy workflow, see `New dataflow API for CodeQL query writing <https://gh.io/codeql-new-dataflow-api>`__.
3938

4039
- :doc:`Refining a query to account for edge cases <refining-a-query-to-account-for-edge-cases>`: You can improve the results generated by a CodeQL query by adding conditions to remove false positive results caused by common edge cases.
4140

docs/codeql/reusables/cpp-new-dataflow-api-note.rst

Lines changed: 0 additions & 3 deletions
This file was deleted.

0 commit comments

Comments
 (0)