hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #16042 from geoffw0/maddoc

Browse Source 
Remove [potentially] untrue claims about models-as-data
This commit is contained in:
Geoffrey White
2024-04-02 16:01:31 +01:00
committed by GitHub
parent 0bf742b82d b2a301c206
commit 11acb499bb
3 changed files with 4 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/lib/semmle/code/csharp/dataflow/internal/ExternalFlow.qll
View File

@@ -47,15 +47,13 @@
* *
* For sources, an `output` can be either "", "Argument[n]", "Argument[n1..n2]", * For sources, an `output` can be either "", "Argument[n]", "Argument[n1..n2]",
* "Parameter", "Parameter[n]", "Parameter[n1..n2]", or "ReturnValue": * "Parameter", "Parameter[n]", "Parameter[n1..n2]", or "ReturnValue":
* - "": Selects a read of a selected field, property, or parameter. * - "": Selects a read of a selected field or property.
* - "Argument[n]": Selects the post-update value of an argument in a call to the * - "Argument[n]": Selects the post-update value of an argument in a call to the
* selected element. That is, the value of the argument after the call returns. * selected element. That is, the value of the argument after the call returns.
* The arguments are zero-indexed, and `this` specifies the qualifier. * The arguments are zero-indexed, and `this` specifies the qualifier.
* - "Argument[n1..n2]": Similar to "Argument[n]" but select any argument in * - "Argument[n1..n2]": Similar to "Argument[n]" but select any argument in
* the given range. The range is inclusive at both ends. * the given range. The range is inclusive at both ends.
* - "Parameter": Selects the value of a parameter of the selected element. * - "Parameter": Selects the value of a parameter of the selected element.
* "Parameter" is also allowed in case the selected element is already a
* parameter itself.
* - "Parameter[n]": Similar to "Parameter" but restricted to a specific * - "Parameter[n]": Similar to "Parameter" but restricted to a specific
* numbered parameter (zero-indexed, and `this` specifies the value of `this`). * numbered parameter (zero-indexed, and `this` specifies the value of `this`).
* - "Parameter[n1..n2]": Similar to "Parameter[n]" but selects any parameter * - "Parameter[n1..n2]": Similar to "Parameter[n]" but selects any parameter

4
go/ql/lib/semmle/go/dataflow/ExternalFlow.qll
View File

@@ -34,15 +34,13 @@
* An `output` can be either "", "Argument[n]", "Argument[n1..n2]", "Parameter", * An `output` can be either "", "Argument[n]", "Argument[n1..n2]", "Parameter",
* "Parameter[n]", "Parameter[n1..n2]", , "ReturnValue", "ReturnValue[n]", or * "Parameter[n]", "Parameter[n1..n2]", , "ReturnValue", "ReturnValue[n]", or
* "ReturnValue[n1..n2]": * "ReturnValue[n1..n2]":
* - "": Selects a read of a selected field, or a selected parameter. * - "": Selects a read of a selected field.
* - "Argument[n]": Selects the post-update value of an argument in a call to the * - "Argument[n]": Selects the post-update value of an argument in a call to the
* selected element. That is, the value of the argument after the call returns. * selected element. That is, the value of the argument after the call returns.
* The arguments are zero-indexed, and `-1` specifies the qualifier. * The arguments are zero-indexed, and `-1` specifies the qualifier.
* - "Argument[n1..n2]": Similar to "Argument[n]" but select any argument in * - "Argument[n1..n2]": Similar to "Argument[n]" but select any argument in
* the given range. The range is inclusive at both ends. * the given range. The range is inclusive at both ends.
* - "Parameter": Selects the value of a parameter of the selected element. * - "Parameter": Selects the value of a parameter of the selected element.
* "Parameter" is also allowed in case the selected element is already a
* parameter itself.
* - "Parameter[n]": Similar to "Parameter" but restricted to a specific * - "Parameter[n]": Similar to "Parameter" but restricted to a specific
* numbered parameter (zero-indexed, and `-1` specifies the value of `this`). * numbered parameter (zero-indexed, and `-1` specifies the value of `this`).
* - "Parameter[n1..n2]": Similar to "Parameter[n]" but selects any parameter * - "Parameter[n1..n2]": Similar to "Parameter[n]" but selects any parameter

10
swift/ql/lib/codeql/swift/dataflow/ExternalFlow.qll
View File

@@ -25,11 +25,7 @@
* types can be short names or fully qualified names (mixing these two options * types can be short names or fully qualified names (mixing these two options
* is not allowed within a single signature). * is not allowed within a single signature).
* 6. The `ext` column specifies additional API-graph-like edges. Currently * 6. The `ext` column specifies additional API-graph-like edges. Currently
* there are only two valid values: "" and "Annotated". The empty string has no * there is only one valid value: "".
* effect. "Annotated" applies if `name` and `signature` were left blank and
* acts by selecting an element that is annotated by the annotation type
* selected by the first 4 columns. This can be another member such as a field
* or method, or a parameter.
* 7. The `input` column specifies how data enters the element selected by the * 7. The `input` column specifies how data enters the element selected by the
* first 6 columns, and the `output` column specifies how data leaves the * first 6 columns, and the `output` column specifies how data leaves the
* element selected by the first 6 columns. An `input` can be either "", * element selected by the first 6 columns. An `input` can be either "",
@@ -44,15 +40,13 @@
* *
* An `output` can be either "", "Argument[n]", "Argument[n1..n2]", "Parameter", * An `output` can be either "", "Argument[n]", "Argument[n1..n2]", "Parameter",
* "Parameter[n]", "Parameter[n1..n2]", or "ReturnValue": * "Parameter[n]", "Parameter[n1..n2]", or "ReturnValue":
* - "": Selects a read of a selected field, or a selected parameter. * - "": Selects a read of a selected field.
* - "Argument[n]": Selects the post-update value of an argument in a call to the * - "Argument[n]": Selects the post-update value of an argument in a call to the
* selected element. That is, the value of the argument after the call returns. * selected element. That is, the value of the argument after the call returns.
* The arguments are zero-indexed, and `-1` specifies the qualifier. * The arguments are zero-indexed, and `-1` specifies the qualifier.
* - "Argument[n1..n2]": Similar to "Argument[n]" but select any argument in * - "Argument[n1..n2]": Similar to "Argument[n]" but select any argument in
* the given range. The range is inclusive at both ends. * the given range. The range is inclusive at both ends.
* - "Parameter": Selects the value of a parameter of the selected element. * - "Parameter": Selects the value of a parameter of the selected element.
* "Parameter" is also allowed in case the selected element is already a
* parameter itself.
* - "Parameter[n]": Similar to "Parameter" but restricted to a specific * - "Parameter[n]": Similar to "Parameter" but restricted to a specific
* numbered parameter (zero-indexed, and `-1` specifies the value of `this`). * numbered parameter (zero-indexed, and `-1` specifies the value of `this`).
* - "Parameter[n1..n2]": Similar to "Parameter[n]" but selects any parameter * - "Parameter[n1..n2]": Similar to "Parameter[n]" but selects any parameter