Swift: getName -> getFullName.

geoffw0 · geoffw0 · commit c8dfc87dae2a · 2023-05-19T12:18:17.000+01:00
diff --git a/swift/ql/lib/codeql/swift/frameworks/StandardLibrary/FilePath.qll b/swift/ql/lib/codeql/swift/frameworks/StandardLibrary/FilePath.qll
@@ -85,7 +85,7 @@ private class FilePathComponentFieldsInheritTaint extends TaintInheritingContent
       (
         f.getEnclosingDecl().(NominalTypeDecl).getFullName() =
           ["FilePath.Component", "FilePath.Root"] or
-        f.getEnclosingDecl().(ExtensionDecl).getExtendedTypeDecl().getName() =
+        f.getEnclosingDecl().(ExtensionDecl).getExtendedTypeDecl().getFullName() =
           ["FilePath.Component", "FilePath.Root"]
       ) and
       f.getName() = ["extension", "stem", "string"]

Original file line number	Diff line number	Diff line change
`@@ -85,7 +85,7 @@ private class FilePathComponentFieldsInheritTaint extends TaintInheritingContent`
`85`	`85`	`(`
`86`	`86`	`f.getEnclosingDecl().(NominalTypeDecl).getFullName() =`
`87`	`87`	`["FilePath.Component", "FilePath.Root"] or`
`88`		`- f.getEnclosingDecl().(ExtensionDecl).getExtendedTypeDecl().getName() =`
	`88`	`+ f.getEnclosingDecl().(ExtensionDecl).getExtendedTypeDecl().getFullName() =`
`89`	`89`	`["FilePath.Component", "FilePath.Root"]`
`90`	`90`	`) and`
`91`	`91`	`f.getName() = ["extension", "stem", "string"]`