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

C++: QLDoc FlowSummaryNode.

Browse Source
This commit is contained in:
Geoffrey White
2024-03-27 17:38:49 +00:00
parent 103932fec8
commit a55f07ac68
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -738,12 +738,11 @@ class InitialGlobalValue extends Node, TInitialGlobalValue {
}
/**
* A data-flow node used to model flow summaries.
* A data-flow node used to model flow summaries. That is, a dataflow node
* that is synthesized to represent a parameter, return value, or other part
* of a models-as-data modelled function.
*/
class FlowSummaryNode extends Node, TFlowSummaryNode {
/**
* TODO: QLDoc.
*/
FlowSummaryImpl::Private::SummaryNode getSummaryNode() { this = TFlowSummaryNode(result) }
/**
@@ -754,10 +753,11 @@ class FlowSummaryNode extends Node, TFlowSummaryNode {
}
/**
* TODO: QLDoc.
* Gets the enclosing callable. For a `FlowSummaryNode` this is always the
* summarized function this node is part of.
*/
override Declaration getEnclosingCallable() {
result = this.getSummarizedCallable() // TODO: this doesn't look right.
result = this.getSummarizedCallable()
}
override Location getLocationImpl() { result = this.getSummarizedCallable().getLocation() }