Skip to content

Commit 2429e7b

Browse files
coadafloringeoffw0
andauthored
Update docs/codeql/codeql-language-guides/customizing-library-models-for-rust.rst
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
1 parent 1c8b90e commit 2429e7b

1 file changed

Lines changed: 0 additions & 13 deletions

File tree

docs/codeql/codeql-language-guides/customizing-library-models-for-rust.rst

Lines changed: 0 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -247,19 +247,6 @@ Since we are adding flow through a method, we need to add tuples to the ``summar
247247
- The fourth value ``taint`` is the kind of flow. Since ``join`` combines the path and the argument, the output is derived from the inputs but is not identical to either one.
248248
- The fifth value ``manual`` is the provenance of the summary.
249249

250-
It would also be possible to merge the two rows into one by using a comma-separated list in the second value:
251-
252-
.. code-block:: yaml
253-
254-
extensions:
255-
- addsTo:
256-
pack: codeql/rust-all
257-
extensible: summaryModel
258-
data:
259-
- ["<std::path::Path>::join", "Argument[self,0]", "ReturnValue", "taint", "manual"]
260-
261-
This row defines flow from both the receiver and the first argument to the return value. The second value ``Argument[self,0]`` is shorthand for specifying an access path to both ``Argument[self]`` and ``Argument[0]``.
262-
263250
.. note::
264251

265252
When using ``Argument[self]`` to refer to the receiver, the ``Reference`` token may need to be appended to follow through the ``&self`` or ``&mut self`` reference to the underlying value. This depends on whether the data you want to track is on the reference itself or on the value behind the reference.

0 commit comments

Comments
 (0)