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

Allow data flow through receiver for modelled methods

Browse Source
This commit is contained in:
Owen Mansel-Chan
2021-12-13 09:41:27 -05:00
committed by Owen Mansel-Chan
parent ede57b6527
commit 9b2f29bbcd
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -3,6 +3,7 @@ private import semmle.go.dataflow.FunctionInputsAndOutputs
private import semmle.go.dataflow.FlowSummary
private import DataFlowPrivate
private import FlowSummaryImpl as FlowSummaryImpl
private import semmle.go.dataflow.ExternalFlow
cached
private newtype TNode =
@@ -711,6 +712,12 @@ module Public {
i != -1
or
exists(c.(MethodCallNode).getTarget().getBody())
or
exists(string package, string type, string name |
c.(MethodCallNode).getTarget().hasQualifiedName(package, type, name)
|
exists(interpretElement(package, type, _, name, "", _))
)
)
}