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

C++: Disambiguate *n1..n2 doc.

Browse Source
This commit is contained in:
Geoffrey White
2024-03-25 18:21:55 +00:00
parent 76780d74d9
commit ce52cbb428
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
View File

@@ -37,8 +37,9 @@
* indirection, for example, `Argument[*0]` indicates the first indirection * indirection, for example, `Argument[*0]` indicates the first indirection
* of the 0th argument. * of the 0th argument.
* - `n1..n2` syntax can be used to indicate a range of arguments, inclusive * - `n1..n2` syntax can be used to indicate a range of arguments, inclusive
* at both ends. One or more "*" can be added in front of the range to * at both ends. One or more "*"s can be added in front of the whole range
* indicate indirection on all arguments in the range, for example `*n1..n2`. * to indicate that every argument in the range is indirect, for example
* `*0..1` is the first indirection of both arguments 0 and 1.
* - "ReturnValue": Selects a value being returned by the selected element. * - "ReturnValue": Selects a value being returned by the selected element.
* One or more "*" can be added as an argument to indicate indirection, for * One or more "*" can be added as an argument to indicate indirection, for
* example, "ReturnValue[*]" indicates the first indirection of the return * example, "ReturnValue[*]" indicates the first indirection of the return
@@ -54,8 +55,9 @@
* indirection, for example, `Argument[*0]` indicates the first indirection * indirection, for example, `Argument[*0]` indicates the first indirection
* of the 0th argument. * of the 0th argument.
* - `n1..n2` syntax can be used to indicate a range of arguments, inclusive * - `n1..n2` syntax can be used to indicate a range of arguments, inclusive
* at both ends. One or more "*" can be added in front of the range to * at both ends. One or more "*"s can be added in front of the whole range
* indicate indirection on all arguments in the range, for example `*n1..n2`. * to indicate that every argument in the range is indirect, for example
* `*0..1` is the first indirection of both arguments 0 and 1.
* - "Parameter[n]": Selects the value of a parameter of the selected element. * - "Parameter[n]": Selects the value of a parameter of the selected element.
* The syntax is the same as for "Argument", for example "Parameter[0]", * The syntax is the same as for "Argument", for example "Parameter[0]",
* "Parameter[*0]", "Parameter[0..2]" etc. * "Parameter[*0]", "Parameter[0..2]" etc.