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

Swift: Explanatory comments.

Browse Source
This commit is contained in:
Geoffrey White
2023-01-19 11:55:16 +00:00
parent 2875d8645c
commit 62125fa767
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
swift/ql/lib/codeql/swift/dataflow/ExternalFlow.qll
View File

@@ -431,9 +431,11 @@ private Element interpretElement0(
matchesSignature(method, signature) and
result = method
|
// member declared in the named type or a subtype of it (or an extension of any)
subtypes = true and
declWithMethod.getNominalTypeDecl() = namedTypeDecl.getADerivedTypeDecl*()
or
// member declared in a type that's extended with a protocol that is the named type
exists(ExtensionDecl e |
e.getExtendedTypeDecl().getADerivedTypeDecl*() = declWithMethod.getNominalTypeDecl()
|
@@ -441,6 +443,7 @@ private Element interpretElement0(
e.getAProtocol() = namedTypeDecl.getADerivedTypeDecl*()
)
or
// member declared directly in the named type (or an extension of it)
subtypes = false and
declWithMethod.getNominalTypeDecl() = namedTypeDecl
)
@@ -453,9 +456,11 @@ private Element interpretElement0(
namedTypeDecl.getFullName() = type and
result = field
|
// field declared in the named type or a subtype of it (or an extension of any)
subtypes = true and
declWithField.getNominalTypeDecl() = namedTypeDecl.getADerivedTypeDecl*()
or
// field declared in a type that's extended with a protocol that is the named type
exists(ExtensionDecl e |
e.getExtendedTypeDecl().getADerivedTypeDecl*() = declWithField.getNominalTypeDecl()
|
@@ -463,6 +468,7 @@ private Element interpretElement0(
e.getAProtocol() = namedTypeDecl.getADerivedTypeDecl*()
)
or
// field declared directly in the named type (or an extension of it)
subtypes = false and
declWithField.getNominalTypeDecl() = namedTypeDecl
)