Crypto: Fix use of a member where a singleton set literal exists

bdrodes · bdrodes · commit 850c1ec12df4 · 2025-10-02T09:20:40.000-04:00
diff --git a/java/ql/lib/experimental/quantum/JCA.qll b/java/ql/lib/experimental/quantum/JCA.qll
@@ -1223,7 +1223,7 @@ module JCAModel {
   class Pbkdf2WithHmac_KeyOperationAlgorithmStringLiteral extends Crypto::KeyOperationAlgorithmInstance instanceof KdfAlgorithmStringLiteral
   {
     Pbkdf2WithHmac_KeyOperationAlgorithmStringLiteral() {
-      this.(StringLiteral).getValue().toUpperCase().matches(["PBKDF2WithHmac%"].toUpperCase())
+      this.(StringLiteral).getValue().toUpperCase().matches("PBKDF2WithHmac%".toUpperCase())
     }
 
     override Crypto::KeyOpAlg::AlgorithmType getAlgorithmType() {

Original file line number	Diff line number	Diff line change
`@@ -1223,7 +1223,7 @@ module JCAModel {`
`1223`	`1223`	`class Pbkdf2WithHmac_KeyOperationAlgorithmStringLiteral extends Crypto::KeyOperationAlgorithmInstance instanceof KdfAlgorithmStringLiteral`
`1224`	`1224`	`{`
`1225`	`1225`	`Pbkdf2WithHmac_KeyOperationAlgorithmStringLiteral() {`
`1226`		`- this.(StringLiteral).getValue().toUpperCase().matches(["PBKDF2WithHmac%"].toUpperCase())`
	`1226`	`+ this.(StringLiteral).getValue().toUpperCase().matches("PBKDF2WithHmac%".toUpperCase())`
`1227`	`1227`	`}`
`1228`	`1228`
`1229`	`1229`	`override Crypto::KeyOpAlg::AlgorithmType getAlgorithmType() {`