hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-30 06:42:57 +01:00
Code Issues Packages Projects Releases Wiki Activity

Broaden ReturnNode to include return nodes of summaries

Browse Source
This commit is contained in:
Chris Smowton
2021-09-28 14:49:43 +01:00
committed by Owen Mansel-Chan
parent 94d9d08489
commit b10d5cf0b0
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll
View File

@@ -25,10 +25,14 @@ private newtype TNode =
/** Nodes intended for only use inside the data-flow libraries. */
module Private {
/** A data flow node that represents returning a value from a function. */
class ReturnNode extends Public::ResultNode {
class ReturnNode extends Node {
ReturnKind kind;
ReturnNode() { kind = getReturnKind(i) }
ReturnNode() {
this.(Public::ResultNode).getIndex() = kind.getIndex()
or
this.(SummaryNode).isReturn(kind)
}
/** Gets the kind of this returned value. */
ReturnKind getKind() { result = kind }
@@ -66,7 +70,7 @@ module Private {
}
/** Holds if this summary node is a return node. */
predicate isReturn() { FlowSummaryImpl::Private::summaryReturnNode(this, _) }
predicate isReturn(ReturnKind kind) { FlowSummaryImpl::Private::summaryReturnNode(this, kind) }
/** Holds if this summary node is an out node for `call`. */
predicate isOut(DataFlowCall call) { FlowSummaryImpl::Private::summaryOutNode(call, this, _) }