Skip to content

Commit 464d8b1

Browse files
committed
Rust: Address review comments.
1 parent 37997c0 commit 464d8b1

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -65,8 +65,8 @@ extensible predicate sourceModel(
6565

6666
/**
6767
* Holds if in a call to the function with canonical path `path`, the value referred
68-
* to by `input` is a flow sink of the given `kind`.
69-
* The `madId` is the data extension row number.
68+
* to by `input` is a flow sink of the given `kind` and `madId` is the data
69+
* extension row number.
7070
*
7171
* For example, `input = Argument[0]` means the first argument of the call.
7272
*
@@ -79,8 +79,8 @@ extensible predicate sinkModel(
7979

8080
/**
8181
* Holds if in a call to the function with canonical path `path`, the value referred
82-
* to by `input` can flow to the value referred to by `output`.
83-
* The `madId` is the data extension row number.
82+
* to by `input` can flow to the value referred to by `output` and `madId` is the data
83+
* extension row number.
8484
*
8585
* `kind` should be either `value` or `taint`, for value-preserving or taint-preserving
8686
* steps, respectively.

0 commit comments

Comments
 (0)