Crypto: Missing casing fix for JCA classes

bdrodes · bdrodes · commit 38421cec94a3 · 2025-10-02T09:04:23.000-04:00
diff --git a/java/ql/lib/experimental/quantum/JCA.qll b/java/ql/lib/experimental/quantum/JCA.qll
@@ -1252,7 +1252,7 @@ module JCAModel {
     }
   }
 
-  class Pbkdf2WithHmac_HashAlgorithmStringLiteral extends Crypto::HashAlgorithmInstance instanceof PBKDF2WithHmac_KeyOperationAlgorithmStringLiteral
+  class Pbkdf2WithHmac_HashAlgorithmStringLiteral extends Crypto::HashAlgorithmInstance instanceof Pbkdf2WithHmac_KeyOperationAlgorithmStringLiteral
   {
     string hashName;
 

Original file line number	Diff line number	Diff line change
`@@ -1252,7 +1252,7 @@ module JCAModel {`
`1252`	`1252`	`}`
`1253`	`1253`	`}`
`1254`	`1254`
`1255`		`- class Pbkdf2WithHmac_HashAlgorithmStringLiteral extends Crypto::HashAlgorithmInstance instanceof PBKDF2WithHmac_KeyOperationAlgorithmStringLiteral`
	`1255`	`+ class Pbkdf2WithHmac_HashAlgorithmStringLiteral extends Crypto::HashAlgorithmInstance instanceof Pbkdf2WithHmac_KeyOperationAlgorithmStringLiteral`
`1256`	`1256`	`{`
`1257`	`1257`	`string hashName;`
`1258`	`1258`