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

Add comment noting that a Method or Field might have multiple SourceOrSinkElements

Browse Source
This commit is contained in:
Chris Smowton
2024-10-23 22:13:14 +01:00
committed by Owen Mansel-Chan
parent 520acc4b1c
commit 20e8d48869
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -149,6 +149,9 @@ module SourceSinkInterpretationInput implements
)
}
// Note that due to embedding, which is currently implemented via some Methods
// or Fields having multiple qualified names, a given Method or Field is liable
// to have more than one SourceOrSinkElement, one for each of the names it claims.
private newtype TSourceOrSinkElement =
TMethodEntityElement(Method m, string pkg, string type, boolean subtypes) {
m.hasQualifiedName(pkg, type, _) and subtypes = [true, false]