hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Update QLDoc.

Browse Source
This commit is contained in:
Geoffrey White
2024-04-08 11:57:35 +01:00
parent bdc3d10cdb
commit ec515f967d
2 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -544,7 +544,7 @@ class ReturnIndirectionNode extends IndirectReturnNode, ReturnNode {
}
/**
* An return node that is part of a summary.
* A return node that is part of a summary.
*/
private class SummaryReturnNode extends ReturnNode, FlowSummaryNode {
private ReturnKind rk;
@@ -711,7 +711,10 @@ private class SideEffectOutNode extends OutNode, IndirectArgumentOutNode {
}
/**
* An output node that is part of a summary.
* An output node that is part of a summary. An output node is needed when the
* model contains a synthesized call (`SummaryCall`) and the return value of
* that call is needed by the summary (for example when the model has flow from
* `Argument[0].ReturnValue`).
*/
private class SummaryOutNode extends OutNode, FlowSummaryNode {
private SummaryCall call;

4
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
View File

@@ -1813,7 +1813,9 @@ abstract private class PartialDefinitionNode extends PostUpdateNode {
}
/**
* TODO: QLDoc.
* A `PostUpdateNode` that is part of a flow summary. These are synthesized,
* for example, when a models-as-data summary models a write to a field since
* the write needs to target a `PostUpdateNode`.
*/
class SummaryPostUpdateNode extends FlowSummaryNode, PostUpdateNode {
SummaryPostUpdateNode() {