Swift: query library renamings

d10c · d10c · commit 3d679703573d · 2023-04-26T15:47:20.000+02:00
diff --git a/swift/ql/lib/codeql/swift/StringFormat.qll b/swift/ql/lib/codeql/swift/StringFormat.qll
@@ -7,7 +7,7 @@ import swift
 /**
  * A function that takes a `printf` style format argument.
  */
-abstract class FormattingFunction extends AbstractFunctionDecl {
+abstract class FormattingFunction extends Function {
   /**
    * Gets the position of the format argument.
    */
@@ -32,7 +32,7 @@ class FormattingFunctionCall extends CallExpr {
  * An initializer for `String`, `NSString` or `NSMutableString` that takes a
  * `printf` style format argument.
  */
-class StringInitWithFormat extends FormattingFunction, MethodDecl {
+class StringInitWithFormat extends FormattingFunction, Method {
   StringInitWithFormat() {
     exists(string fName |
       this.hasQualifiedName(["String", "NSString", "NSMutableString"], fName) and
@@ -46,7 +46,7 @@ class StringInitWithFormat extends FormattingFunction, MethodDecl {
 /**
  * The `localizedStringWithFormat` method of `String`, `NSString` and `NSMutableString`.
  */
-class LocalizedStringWithFormat extends FormattingFunction, MethodDecl {
+class LocalizedStringWithFormat extends FormattingFunction, Method {
   LocalizedStringWithFormat() {
     this.hasQualifiedName(["String", "NSString", "NSMutableString"],
       "localizedStringWithFormat(_:_:)")
@@ -58,7 +58,7 @@ class LocalizedStringWithFormat extends FormattingFunction, MethodDecl {
 /**
  * The functions `NSLog` and `NSLogv`.
  */
-class NsLog extends FormattingFunction, FreeFunctionDecl {
+class NsLog extends FormattingFunction, FreeFunction {
   NsLog() { this.getName() = ["NSLog(_:_:)", "NSLogv(_:_:)"] }
 
   override int getFormatParameterIndex() { result = 0 }
@@ -67,7 +67,7 @@ class NsLog extends FormattingFunction, FreeFunctionDecl {
 /**
  * The `NSException.raise` method.
  */
-class NsExceptionRaise extends FormattingFunction, MethodDecl {
+class NsExceptionRaise extends FormattingFunction, Method {
   NsExceptionRaise() { this.hasQualifiedName("NSException", "raise(_:format:arguments:)") }
 
   override int getFormatParameterIndex() { result = 1 }
diff --git a/swift/ql/lib/codeql/swift/frameworks/AEXML.qll b/swift/ql/lib/codeql/swift/frameworks/AEXML.qll
@@ -7,21 +7,21 @@ import swift
 /** The creation of an `AEXMLParser`. */
 class AexmlParser extends ApplyExpr {
   AexmlParser() {
-    this.getStaticTarget().(ConstructorDecl).getEnclosingDecl() instanceof AexmlParserDecl
+    this.getStaticTarget().(Initializer).getEnclosingDecl() instanceof AexmlParserDecl
   }
 }
 
 /** The creation of an `AEXMLDocument`. */
 class AexmlDocument extends ApplyExpr {
   AexmlDocument() {
-    this.getStaticTarget().(ConstructorDecl).getEnclosingDecl() instanceof AexmlDocumentDecl
+    this.getStaticTarget().(Initializer).getEnclosingDecl() instanceof AexmlDocumentDecl
   }
 }
 
 /** A call to `AEXMLDocument.loadXML(_:)`. */
 class AexmlDocumentLoadXml extends MethodApplyExpr {
   AexmlDocumentLoadXml() {
-    exists(MethodDecl f |
+    exists(Method f |
       this.getStaticTarget() = f and
       f.hasName("loadXML(_:)") and
       f.getEnclosingDecl() instanceof AexmlDocumentDecl
diff --git a/swift/ql/lib/codeql/swift/frameworks/StandardLibrary/CustomUrlSchemes.qll b/swift/ql/lib/codeql/swift/frameworks/StandardLibrary/CustomUrlSchemes.qll
@@ -51,7 +51,7 @@ private class UrlLaunchOptionsRemoteFlowSource extends RemoteFlowSource {
   }
 }
 
-private class ApplicationWithLaunchOptionsFunc extends FuncDecl {
+private class ApplicationWithLaunchOptionsFunc extends Function {
   ApplicationWithLaunchOptionsFunc() {
     this.getName() = "application(_:" + ["did", "will"] + "FinishLaunchingWithOptions:)" and
     this.getEnclosingDecl().(ClassOrStructDecl).getABaseTypeDecl*().(ProtocolDecl).getName() =
diff --git a/swift/ql/lib/codeql/swift/frameworks/StandardLibrary/WebView.qll b/swift/ql/lib/codeql/swift/frameworks/StandardLibrary/WebView.qll
@@ -57,7 +57,7 @@ private class AdoptsWkNavigationDelegate extends Decl {
  */
 private class WKNavigationDelegateSource extends RemoteFlowSource {
   WKNavigationDelegateSource() {
-    exists(ParamDecl p, FuncDecl f, AdoptsWkNavigationDelegate t |
+    exists(ParamDecl p, Function f, AdoptsWkNavigationDelegate t |
       t.getAMember() = f and
       f.getName() =
         [
@@ -170,7 +170,7 @@ private class JsExportedType extends ClassOrStructDecl {
  */
 private class JsExportedSource extends RemoteFlowSource {
   JsExportedSource() {
-    exists(MethodDecl adopter, MethodDecl base |
+    exists(Method adopter, Method base |
       base.getEnclosingDecl() instanceof JsExportedProto and
       adopter.getEnclosingDecl() instanceof JsExportedType
     |
diff --git a/swift/ql/lib/codeql/swift/security/CleartextStorageDatabaseExtensions.qll b/swift/ql/lib/codeql/swift/security/CleartextStorageDatabaseExtensions.qll
@@ -38,7 +38,7 @@ private class CoreDataStore extends CleartextStorageDatabaseSink {
     // values written into Core Data objects through `set*Value` methods are a sink.
     exists(CallExpr call |
       call.getStaticTarget()
-          .(MethodDecl)
+          .(Method)
           .hasQualifiedName("NSManagedObject",
             ["setValue(_:forKey:)", "setPrimitiveValue(_:forKey:)"]) and
       call.getArgument(0).getExpr() = this.asExpr()
diff --git a/swift/ql/lib/codeql/swift/security/CleartextStoragePreferencesExtensions.qll b/swift/ql/lib/codeql/swift/security/CleartextStoragePreferencesExtensions.qll
@@ -37,7 +37,7 @@ class CleartextStoragePreferencesAdditionalTaintStep extends Unit {
 private class UserDefaultsStore extends CleartextStoragePreferencesSink {
   UserDefaultsStore() {
     exists(CallExpr call |
-      call.getStaticTarget().(MethodDecl).hasQualifiedName("UserDefaults", "set(_:forKey:)") and
+      call.getStaticTarget().(Method).hasQualifiedName("UserDefaults", "set(_:forKey:)") and
       call.getArgument(0).getExpr() = this.asExpr()
     )
   }
@@ -50,7 +50,7 @@ private class NSUbiquitousKeyValueStore extends CleartextStoragePreferencesSink
   NSUbiquitousKeyValueStore() {
     exists(CallExpr call |
       call.getStaticTarget()
-          .(MethodDecl)
+          .(Method)
           .hasQualifiedName("NSUbiquitousKeyValueStore", "set(_:forKey:)") and
       call.getArgument(0).getExpr() = this.asExpr()
     )
diff --git a/swift/ql/lib/codeql/swift/security/CleartextTransmissionExtensions.qll b/swift/ql/lib/codeql/swift/security/CleartextTransmissionExtensions.qll
@@ -38,7 +38,7 @@ private class NWConnectionSendSink extends CleartextTransmissionSink {
     // `content` arg to `NWConnection.send` is a sink
     exists(CallExpr call |
       call.getStaticTarget()
-          .(MethodDecl)
+          .(Method)
           .hasQualifiedName("NWConnection", "send(content:contentContext:isComplete:completion:)") and
       call.getArgument(0).getExpr() = this.asExpr()
     )
@@ -55,7 +55,7 @@ private class UrlSink extends CleartextTransmissionSink {
     // (we assume here that the URL goes on to be used in a network operation)
     exists(CallExpr call |
       call.getStaticTarget()
-          .(MethodDecl)
+          .(Method)
           .hasQualifiedName("URL", ["init(string:)", "init(string:relativeTo:)"]) and
       call.getArgument(0).getExpr() = this.asExpr()
     )
@@ -70,7 +70,7 @@ private class AlamofireTransmittedSink extends CleartextTransmissionSink {
     // sinks are the first argument containing the URL, and the `parameters`
     // and `headers` arguments to appropriate methods of `Session`.
     exists(CallExpr call, string fName |
-      call.getStaticTarget().(MethodDecl).hasQualifiedName("Session", fName) and
+      call.getStaticTarget().(Method).hasQualifiedName("Session", fName) and
       fName.regexpMatch("(request|streamRequest|download)\\(.*") and
       (
         call.getArgument(0).getExpr() = this.asExpr() or
diff --git a/swift/ql/lib/codeql/swift/security/ConstantPasswordExtensions.qll b/swift/ql/lib/codeql/swift/security/ConstantPasswordExtensions.qll
@@ -35,7 +35,7 @@ class ConstantPasswordAdditionalTaintStep extends Unit {
 private class CryptoSwiftPasswordSink extends ConstantPasswordSink {
   CryptoSwiftPasswordSink() {
     // `password` arg in `init` is a sink
-    exists(NominalTypeDecl c, ConstructorDecl f, CallExpr call |
+    exists(NominalTypeDecl c, Initializer f, CallExpr call |
       c.getName() = ["HKDF", "PBKDF1", "PBKDF2", "Scrypt"] and
       c.getAMember() = f and
       call.getStaticTarget() = f and
@@ -50,7 +50,7 @@ private class CryptoSwiftPasswordSink extends ConstantPasswordSink {
 private class RnCryptorPasswordSink extends ConstantPasswordSink {
   RnCryptorPasswordSink() {
     // RNCryptor (labelled arguments)
-    exists(NominalTypeDecl c, MethodDecl f, CallExpr call |
+    exists(NominalTypeDecl c, Method f, CallExpr call |
       c.getFullName() =
         [
           "RNCryptor", "RNEncryptor", "RNDecryptor", "RNCryptor.EncryptorV3",
@@ -63,7 +63,7 @@ private class RnCryptorPasswordSink extends ConstantPasswordSink {
     )
     or
     // RNCryptor (unlabelled arguments)
-    exists(MethodDecl f, CallExpr call |
+    exists(Method f, CallExpr call |
       f.hasQualifiedName("RNCryptor", "keyForPassword(_:salt:settings:)") and
       call.getStaticTarget() = f and
       call.getArgument(0).getExpr() = this.asExpr()
diff --git a/swift/ql/lib/codeql/swift/security/ConstantSaltExtensions.qll b/swift/ql/lib/codeql/swift/security/ConstantSaltExtensions.qll
@@ -35,7 +35,7 @@ class ConstantSaltAdditionalTaintStep extends Unit {
 private class CryptoSwiftSaltSink extends ConstantSaltSink {
   CryptoSwiftSaltSink() {
     // `salt` arg in `init` is a sink
-    exists(NominalTypeDecl c, ConstructorDecl f, CallExpr call |
+    exists(NominalTypeDecl c, Initializer f, CallExpr call |
       c.getName() = ["HKDF", "PBKDF1", "PBKDF2", "Scrypt"] and
       c.getAMember() = f and
       call.getStaticTarget() = f and
@@ -49,7 +49,7 @@ private class CryptoSwiftSaltSink extends ConstantSaltSink {
  */
 private class RnCryptorSaltSink extends ConstantSaltSink {
   RnCryptorSaltSink() {
-    exists(NominalTypeDecl c, MethodDecl f, CallExpr call |
+    exists(NominalTypeDecl c, Method f, CallExpr call |
       c.getFullName() =
         [
           "RNCryptor", "RNEncryptor", "RNDecryptor", "RNCryptor.EncryptorV3",
diff --git a/swift/ql/lib/codeql/swift/security/ECBEncryptionExtensions.qll b/swift/ql/lib/codeql/swift/security/ECBEncryptionExtensions.qll
@@ -43,7 +43,7 @@ class EcbEncryptionAdditionalTaintStep extends Unit {
 private class CryptoSwiftEcb extends EcbEncryptionSource {
   CryptoSwiftEcb() {
     exists(CallExpr call |
-      call.getStaticTarget().(MethodDecl).hasQualifiedName("ECB", "init()") and
+      call.getStaticTarget().(Method).hasQualifiedName("ECB", "init()") and
       this.asExpr() = call
     )
   }
diff --git a/swift/ql/lib/codeql/swift/security/ECBEncryptionQuery.qll b/swift/ql/lib/codeql/swift/security/ECBEncryptionQuery.qll
@@ -9,7 +9,7 @@ import codeql.swift.dataflow.TaintTracking
 import codeql.swift.security.ECBEncryptionExtensions
 
 /**
- * A taint configuration from the constructor of ECB mode to expressions that use
+ * A taint configuration from a creation of an ECB mode instance to expressions that use
  * it to initialize a cipher.
  */
 module EcbEncryptionConfig implements DataFlow::ConfigSig {
diff --git a/swift/ql/lib/codeql/swift/security/HardcodedEncryptionKeyExtensions.qll b/swift/ql/lib/codeql/swift/security/HardcodedEncryptionKeyExtensions.qll
@@ -35,7 +35,7 @@ class HardcodedEncryptionKeyAdditionalTaintStep extends Unit {
 private class CryptoSwiftEncryptionKeySink extends HardcodedEncryptionKeySink {
   CryptoSwiftEncryptionKeySink() {
     // `key` arg in `init` is a sink
-    exists(NominalTypeDecl c, ConstructorDecl f, CallExpr call |
+    exists(NominalTypeDecl c, Initializer f, CallExpr call |
       c.getName() = ["AES", "HMAC", "ChaCha20", "CBCMAC", "CMAC", "Poly1305", "Blowfish", "Rabbit"] and
       c.getAMember() = f and
       call.getStaticTarget() = f and
@@ -49,7 +49,7 @@ private class CryptoSwiftEncryptionKeySink extends HardcodedEncryptionKeySink {
  */
 private class RnCryptorEncryptionKeySink extends HardcodedEncryptionKeySink {
   RnCryptorEncryptionKeySink() {
-    exists(NominalTypeDecl c, MethodDecl f, CallExpr call |
+    exists(NominalTypeDecl c, Method f, CallExpr call |
       c.getFullName() =
         [
           "RNCryptor", "RNEncryptor", "RNDecryptor", "RNCryptor.EncryptorV3",
diff --git a/swift/ql/lib/codeql/swift/security/InsufficientHashIterationsExtensions.qll b/swift/ql/lib/codeql/swift/security/InsufficientHashIterationsExtensions.qll
@@ -36,7 +36,7 @@ class InsufficientHashIterationsAdditionalTaintStep extends Unit {
 private class CryptoSwiftHashIterationsSink extends InsufficientHashIterationsSink {
   CryptoSwiftHashIterationsSink() {
     // `iterations` arg in `init` is a sink
-    exists(NominalTypeDecl c, ConstructorDecl f, CallExpr call |
+    exists(NominalTypeDecl c, Initializer f, CallExpr call |
       c.getName() = ["PBKDF1", "PBKDF2"] and
       c.getAMember() = f and
       call.getStaticTarget() = f and
diff --git a/swift/ql/lib/codeql/swift/security/SensitiveExprs.qll b/swift/ql/lib/codeql/swift/security/SensitiveExprs.qll
@@ -86,12 +86,12 @@ private class SensitiveVarDecl extends VarDecl {
 }
 
 /**
- * An `AbstractFunctionDecl` that might be used to contain sensitive data.
+ * A `Function` that might be used to contain sensitive data.
  */
-private class SensitiveFunctionDecl extends AbstractFunctionDecl {
+private class SensitiveFunction extends Function {
   SensitiveDataType sensitiveType;
 
-  SensitiveFunctionDecl() { this.getName().toLowerCase().regexpMatch(sensitiveType.getRegexp()) }
+  SensitiveFunction() { this.getName().toLowerCase().regexpMatch(sensitiveType.getRegexp()) }
 
   predicate hasInfo(string label, SensitiveDataType type) {
     label = this.getName() and
@@ -129,7 +129,7 @@ class SensitiveExpr extends Expr {
       this.(MemberRefExpr).getMember().(SensitiveVarDecl).hasInfo(label, sensitiveType)
       or
       // function call
-      this.(ApplyExpr).getStaticTarget().(SensitiveFunctionDecl).hasInfo(label, sensitiveType)
+      this.(ApplyExpr).getStaticTarget().(SensitiveFunction).hasInfo(label, sensitiveType)
       or
       // sensitive argument
       exists(SensitiveArgument a |
@@ -155,7 +155,7 @@ class SensitiveExpr extends Expr {
 /**
  * A function that is likely used to encrypt or hash data.
  */
-private class EncryptionFunction extends AbstractFunctionDecl {
+private class EncryptionFunction extends Function {
   EncryptionFunction() { this.getName().regexpMatch(".*(crypt|hash|encode|protect).*") }
 }
 
diff --git a/swift/ql/lib/codeql/swift/security/SqlInjectionExtensions.qll b/swift/ql/lib/codeql/swift/security/SqlInjectionExtensions.qll
@@ -33,7 +33,7 @@ private class CApiDefaultSqlInjectionSink extends SqlInjectionSink {
     // `sqlite3_exec` and variants of `sqlite3_prepare`.
     exists(CallExpr call |
       call.getStaticTarget()
-          .(FreeFunctionDecl)
+          .(FreeFunction)
           .hasName([
               "sqlite3_exec(_:_:_:_:_:)", "sqlite3_prepare(_:_:_:_:_:)",
               "sqlite3_prepare_v2(_:_:_:_:_:)", "sqlite3_prepare_v3(_:_:_:_:_:_:)",
@@ -53,15 +53,15 @@ private class SQLiteSwiftDefaultSqlInjectionSink extends SqlInjectionSink {
     // Variants of `Connection.execute`, `connection.prepare` and `connection.scalar`.
     exists(CallExpr call |
       call.getStaticTarget()
-          .(MethodDecl)
+          .(Method)
           .hasQualifiedName("Connection",
             ["execute(_:)", "prepare(_:_:)", "run(_:_:)", "scalar(_:_:)"]) and
       call.getArgument(0).getExpr() = this.asExpr()
     )
     or
-    // String argument to the `Statement` constructor.
+    // String argument to the `Statement` initializer.
     exists(CallExpr call |
-      call.getStaticTarget().(MethodDecl).hasQualifiedName("Statement", "init(_:_:)") and
+      call.getStaticTarget().(Method).hasQualifiedName("Statement", "init(_:_:)") and
       call.getArgument(1).getExpr() = this.asExpr()
     )
   }
@@ -72,7 +72,7 @@ private class SQLiteSwiftDefaultSqlInjectionSink extends SqlInjectionSink {
  */
 private class GrdbDefaultSqlInjectionSink extends SqlInjectionSink {
   GrdbDefaultSqlInjectionSink() {
-    exists(CallExpr call, MethodDecl method |
+    exists(CallExpr call, Method method |
       call.getStaticTarget() = method and
       call.getArgument(0).getExpr() = this.asExpr()
     |
@@ -119,7 +119,7 @@ private class GrdbDefaultSqlInjectionSink extends SqlInjectionSink {
       method.hasQualifiedName("StatementCache", "statement(_:)")
     )
     or
-    exists(CallExpr call, MethodDecl method |
+    exists(CallExpr call, Method method |
       call.getStaticTarget() = method and
       call.getArgument(1).getExpr() = this.asExpr()
     |
@@ -133,7 +133,7 @@ private class GrdbDefaultSqlInjectionSink extends SqlInjectionSink {
       method.hasQualifiedName("SQLStatementCursor", "init(database:sql:arguments:prepFlags:)")
     )
     or
-    exists(CallExpr call, MethodDecl method |
+    exists(CallExpr call, Method method |
       call.getStaticTarget() = method and
       call.getArgument(3).getExpr() = this.asExpr()
     |
diff --git a/swift/ql/lib/codeql/swift/security/StaticInitializationVectorExtensions.qll b/swift/ql/lib/codeql/swift/security/StaticInitializationVectorExtensions.qll
@@ -51,7 +51,7 @@ private class CryptoSwiftInitializationVectorSink extends StaticInitializationVe
  */
 private class RnCryptorInitializationVectorSink extends StaticInitializationVectorSink {
   RnCryptorInitializationVectorSink() {
-    exists(NominalTypeDecl c, MethodDecl f, CallExpr call |
+    exists(NominalTypeDecl c, Method f, CallExpr call |
       c.getFullName() =
         [
           "RNCryptor", "RNEncryptor", "RNDecryptor", "RNCryptor.EncryptorV3",
diff --git a/swift/ql/lib/codeql/swift/security/UnsafeJsEvalExtensions.qll b/swift/ql/lib/codeql/swift/security/UnsafeJsEvalExtensions.qll
diff --git a/swift/ql/lib/codeql/swift/security/UnsafeWebViewFetchExtensions.qll b/swift/ql/lib/codeql/swift/security/UnsafeWebViewFetchExtensions.qll
diff --git a/swift/ql/lib/codeql/swift/security/XXEExtensions.qll b/swift/ql/lib/codeql/swift/security/XXEExtensions.qll
diff --git a/swift/ql/src/queries/Security/CWE-135/StringLengthConflation.qhelp b/swift/ql/src/queries/Security/CWE-135/StringLengthConflation.qhelp
diff --git a/swift/ql/src/queries/Security/CWE-943/PredicateInjection.qhelp b/swift/ql/src/queries/Security/CWE-943/PredicateInjection.qhelp

Original file line number	Diff line number	Diff line change
`@@ -7,21 +7,21 @@ import swift`
`7`	`7`	/** The creation of an `AEXMLParser`. */
`8`	`8`	`class AexmlParser extends ApplyExpr {`
`9`	`9`	`AexmlParser() {`
`10`		`- this.getStaticTarget().(ConstructorDecl).getEnclosingDecl() instanceof AexmlParserDecl`
	`10`	`+ this.getStaticTarget().(Initializer).getEnclosingDecl() instanceof AexmlParserDecl`
`11`	`11`	`}`
`12`	`12`	`}`
`13`	`13`
`14`	`14`	/** The creation of an `AEXMLDocument`. */
`15`	`15`	`class AexmlDocument extends ApplyExpr {`
`16`	`16`	`AexmlDocument() {`
`17`		`- this.getStaticTarget().(ConstructorDecl).getEnclosingDecl() instanceof AexmlDocumentDecl`
	`17`	`+ this.getStaticTarget().(Initializer).getEnclosingDecl() instanceof AexmlDocumentDecl`
`18`	`18`	`}`
`19`	`19`	`}`
`20`	`20`
`21`	`21`	/** A call to `AEXMLDocument.loadXML(_:)`. */
`22`	`22`	`class AexmlDocumentLoadXml extends MethodApplyExpr {`
`23`	`23`	`AexmlDocumentLoadXml() {`
`24`		`- exists(MethodDecl f \|`
	`24`	`+ exists(Method f \|`
`25`	`25`	`this.getStaticTarget() = f and`
`26`	`26`	`f.hasName("loadXML(_:)") and`
`27`	`27`	`f.getEnclosingDecl() instanceof AexmlDocumentDecl`
Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@ private class UrlLaunchOptionsRemoteFlowSource extends RemoteFlowSource {`
`51`	`51`	`}`
`52`	`52`	`}`
`53`	`53`
`54`		`-private class ApplicationWithLaunchOptionsFunc extends FuncDecl {`
	`54`	`+private class ApplicationWithLaunchOptionsFunc extends Function {`
`55`	`55`	`ApplicationWithLaunchOptionsFunc() {`
`56`	`56`	`this.getName() = "application(_:" + ["did", "will"] + "FinishLaunchingWithOptions:)" and`
`57`	`57`	`this.getEnclosingDecl().(ClassOrStructDecl).getABaseTypeDecl*().(ProtocolDecl).getName() =`
Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ class CleartextStoragePreferencesAdditionalTaintStep extends Unit {`
`37`	`37`	`private class UserDefaultsStore extends CleartextStoragePreferencesSink {`
`38`	`38`	`UserDefaultsStore() {`
`39`	`39`	`exists(CallExpr call \|`
`40`		`- call.getStaticTarget().(MethodDecl).hasQualifiedName("UserDefaults", "set(_:forKey:)") and`
	`40`	`+ call.getStaticTarget().(Method).hasQualifiedName("UserDefaults", "set(_:forKey:)") and`
`41`	`41`	`call.getArgument(0).getExpr() = this.asExpr()`
`42`	`42`	`)`
`43`	`43`	`}`
`@@ -50,7 +50,7 @@ private class NSUbiquitousKeyValueStore extends CleartextStoragePreferencesSink`
`50`	`50`	`NSUbiquitousKeyValueStore() {`
`51`	`51`	`exists(CallExpr call \|`
`52`	`52`	`call.getStaticTarget()`
`53`		`- .(MethodDecl)`
	`53`	`+ .(Method)`
`54`	`54`	`.hasQualifiedName("NSUbiquitousKeyValueStore", "set(_:forKey:)") and`
`55`	`55`	`call.getArgument(0).getExpr() = this.asExpr()`
`56`	`56`	`)`
Original file line number	Diff line number	Diff line change
`@@ -43,7 +43,7 @@ class EcbEncryptionAdditionalTaintStep extends Unit {`
`43`	`43`	`private class CryptoSwiftEcb extends EcbEncryptionSource {`
`44`	`44`	`CryptoSwiftEcb() {`
`45`	`45`	`exists(CallExpr call \|`
`46`		`- call.getStaticTarget().(MethodDecl).hasQualifiedName("ECB", "init()") and`
	`46`	`+ call.getStaticTarget().(Method).hasQualifiedName("ECB", "init()") and`
`47`	`47`	`this.asExpr() = call`
`48`	`48`	`)`
`49`	`49`	`}`