hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-22 23:35:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

DataFlow: Adjust QLDoc.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-11-28 15:26:48 +00:00
parent 339bf1363a
commit 911f1543e0
2 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
View File

@@ -1151,14 +1151,16 @@ private int countNumberOfBranchesUsingParameter(SwitchInstruction switch, Parame
}
/**
* Holds if the dataflow step from `node1` to `node2` should not be used when
* computing flow-through summaries because the dataflow step copies the value
* of `node1` to `node2` in a way that does not preserve the identity of the
* value. For example the assignment to `x` that reads the value of `*p` in:
* Holds if the data-flow step from `node1` to `node2` can be used to
* determine where side-effects may return from a callable.
* For C/C++, this means that the step from `node1` to `node2` not only
* preserves the value, but also preserves the identity of the value.
* For example, the assignment to `x` that reads the value of `*p` in
* ```cpp
* int* p = ...
* int x = *p;
* ```
* does not preserve the identity of `*p`.
*/
bindingset[node1, node2]
pragma[inline_late]

4
shared/dataflow/codeql/dataflow/DataFlow.qll
View File

@@ -171,8 +171,8 @@ signature module InputSig {
predicate simpleLocalFlowStep(Node node1, Node node2);
/**
* Holds if the data flow step from `node1` to `node2` can be used when
* computing flow-through summaries.
* Holds if the data-flow step from `node1` to `node2` can be used to
* determine where side-effects may return from a callable.
*/
bindingset[node1, node2]
default predicate validParameterAliasStep(Node node1, Node node2) { any() }