diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll index 5f979cb2a80..788e1be9c1f 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll @@ -391,6 +391,9 @@ private class SideEffectArgumentNode extends ArgumentNode, SideEffectOperandNode } } +/** + * TODO: QLDoc. + */ class SummaryArgumentNode extends ArgumentNode, FlowSummaryNode { private SummaryCall call_; private ArgumentPosition pos_; @@ -985,6 +988,9 @@ class DataFlowCallable extends TDataFlowCallable { } } +/** + * TODO: QLDoc. + */ private class SourceCallable extends DataFlowCallable, TSourceCallable { Cpp::Declaration decl; @@ -995,6 +1001,9 @@ private class SourceCallable extends DataFlowCallable, TSourceCallable { override Location getLocation() { result = decl.getLocation() } } +/** + * TODO: QLDoc. + */ private class SummarizedCallable extends DataFlowCallable, TSummarizedCallable { FlowSummaryImpl::Public::SummarizedCallable sc; @@ -1070,6 +1079,9 @@ class DataFlowCall extends TDataFlowCall { Location getLocation() { none() } } +/** + * TODO: QLDoc. + */ private class NormalCall extends DataFlowCall, TNormalCall { private CallInstruction call; @@ -1092,6 +1104,11 @@ private class NormalCall extends DataFlowCall, TNormalCall { override Location getLocation() { result = call.getLocation() } } +/** + * A synthesized call inside a callable with a flow summary. + * + * TODO: example. + */ class SummaryCall extends DataFlowCall, TSummaryCall { private FlowSummaryImpl::Public::SummarizedCallable c; private FlowSummaryImpl::Private::SummaryNode receiver; diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll index 126b1263de3..1cdc1570b02 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll @@ -741,6 +741,9 @@ class InitialGlobalValue extends Node, TInitialGlobalValue { * A data-flow node used to model flow summaries. */ class FlowSummaryNode extends Node, TFlowSummaryNode { + /** + * TODO: QLDoc. + */ FlowSummaryImpl::Private::SummaryNode getSummaryNode() { this = TFlowSummaryNode(result) } /**