C#: Override tags.

geoffw0 · geoffw0 · commit b218a87ecc74 · 2019-10-22T16:57:12.000+01:00
diff --git a/csharp/ql/src/semmle/code/csharp/security/cryptography/EncryptionKeyDataFlow.qll b/csharp/ql/src/semmle/code/csharp/security/cryptography/EncryptionKeyDataFlow.qll
@@ -36,7 +36,7 @@ module EncryptionKeyDataFlow {
       exists(SymmetricAlgorithm ag | asExpr() = ag.getKeyProperty().getAnAssignedValue())
     }
 
-    string getDescription() { result = "Key property assignment" }
+    override string getDescription() { result = "Key property assignment" }
   }
 
   /**
@@ -49,7 +49,7 @@ module EncryptionKeyDataFlow {
       )
     }
 
-    string getDescription() { result = "Encryptor(rgbKey, IV)" }
+    override string getDescription() { result = "Encryptor(rgbKey, IV)" }
   }
 
   /**
@@ -62,7 +62,7 @@ module EncryptionKeyDataFlow {
       )
     }
 
-    string getDescription() { result = "Decryptor(rgbKey, IV)" }
+    override string getDescription() { result = "Decryptor(rgbKey, IV)" }
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,7 @@ module EncryptionKeyDataFlow {`
`36`	`36`	`exists(SymmetricAlgorithm ag \| asExpr() = ag.getKeyProperty().getAnAssignedValue())`
`37`	`37`	`}`
`38`	`38`
`39`		`- string getDescription() { result = "Key property assignment" }`
	`39`	`+ override string getDescription() { result = "Key property assignment" }`
`40`	`40`	`}`
`41`	`41`
`42`	`42`	`/**`
`@@ -49,7 +49,7 @@ module EncryptionKeyDataFlow {`
`49`	`49`	`)`
`50`	`50`	`}`
`51`	`51`
`52`		`- string getDescription() { result = "Encryptor(rgbKey, IV)" }`
	`52`	`+ override string getDescription() { result = "Encryptor(rgbKey, IV)" }`
`53`	`53`	`}`
`54`	`54`
`55`	`55`	`/**`
`@@ -62,7 +62,7 @@ module EncryptionKeyDataFlow {`
`62`	`62`	`)`
`63`	`63`	`}`
`64`	`64`
`65`		`- string getDescription() { result = "Decryptor(rgbKey, IV)" }`
	`65`	`+ override string getDescription() { result = "Decryptor(rgbKey, IV)" }`
`66`	`66`	`}`
`67`	`67`
`68`	`68`	`/**`