Fixing type bug

bdrodes · bdrodes · commit 83dc5b99065f · 2025-02-20T10:45:33.000-05:00
diff --git a/shared/cryptography/codeql/cryptography/Model.qll b/shared/cryptography/codeql/cryptography/Model.qll
@@ -706,7 +706,7 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
       result = instance.getCipherOperationMode()
     }
 
-    final override EncryptionAlgorithm getAlgorithm() { result = instance.getAlgorithm() }
+    final override EncryptionAlgorithm getAlgorithm() { result.getInstance() = instance.getAlgorithm() }
 
     override string getInternalType() { result = "CipherOperation" }
     // /**

Original file line number	Diff line number	Diff line change
`@@ -706,7 +706,7 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {`
`706`	`706`	`result = instance.getCipherOperationMode()`
`707`	`707`	`}`
`708`	`708`
`709`		`- final override EncryptionAlgorithm getAlgorithm() { result = instance.getAlgorithm() }`
	`709`	`+ final override EncryptionAlgorithm getAlgorithm() { result.getInstance() = instance.getAlgorithm() }`
`710`	`710`
`711`	`711`	`override string getInternalType() { result = "CipherOperation" }`
`712`	`712`	`// /**`